Family Example (CHUG)

Input:

  set(hyper_res).
  assign(stats_level,1).

  list(usable).
    Parent(anne,beth).
    Parent(anne,ken).
    Parent(jim,beth).
    Parent(jim,ken).
    Female(anne).
    Female(beth).
    Male(jim).
    Male(ken).
  end_of_list.

  list(sos).  
    -Parent(x,y) | -Female(x) | Mother(x,y).
    -Parent(x,y) | -Female(y) | Daughter(y,x).
  end_of_list.

Output:

  =========== start of search ===========

  given clause #1: (wt=8) 9 [] -Parent(x,y)| -Female(x)|Mother(x,y).
  ** KEPT (pick-wt=3): 11 [hyper,9,2,5] Mother(anne,ken).
  ** KEPT (pick-wt=3): 12 [hyper,9,1,5] Mother(anne,beth).

  given clause #2: (wt=3) 11 [hyper,9,2,5] Mother(anne,ken).

  given clause #3: (wt=3) 12 [hyper,9,1,5] Mother(anne,beth).

  given clause #4: (wt=8) 10 [] -Parent(x,y)| -Female(y)|Daughter(y,x).
  ** KEPT (pick-wt=3): 13 [hyper,10,3,6] Daughter(beth,jim).
  ** KEPT (pick-wt=3): 14 [hyper,10,1,6] Daughter(beth,anne).

  given clause #5: (wt=3) 13 [hyper,10,3,6] Daughter(beth,jim).

  given clause #6: (wt=3) 14 [hyper,10,1,6] Daughter(beth,anne).

  Search stopped because sos empty.

  ============ end of search ============