Script started on Fri 15 Nov 2002 12:35:05 GMT ~[41]> cd ~/aleph/test/examples/constraints ~/aleph/test/examples/constraints[42]> yap [ Restoring file /users/ashwin/Yap-4.3.18/solaris/startup ] [ YAP version Yap-4.3.18 ] ?- [aleph]. [ consulting aleph... ] A L E P H Version 4 Last modified: Wed Nov 13 16:18:53 GMT 2002 Manual: http://www.comlab.ox.ac.uk/oucl/groups/machlearn/Aleph/index.html [ aleph consulted 1160056 bytes in 0.46 seconds ] yes ?- read_all(fam). [ reconsulting fam.b... ] [ fam.b reconsulted 3560 bytes in 0.01 seconds ] [cannot open] [fam.f] [cannot open] [fam.n] yes ?- induce_constraints. [sat] [0] [false] [reduce] [best label so far] [[0,0,0,-Inf]/0] [new refinement] false :- human(A). [0/2] [new refinement] false :- human(A), human(B). [0/4] [new refinement] false :- human(A), male(A). [0/1] [new refinement] false :- human(A), female(A). [0/1] [new refinement] false :- human(A), not male(A). [0/1] [new refinement] false :- human(A), not female(A). [0/1] [new refinement] false :- human(A), male(A), human(B). [0/2] [new refinement] false :- human(A), male(A), female(A). [0/0] [-------------------------------------] [found clause] false :- human(A), male(A), female(A). [pos-neg] [0] [clause label] [[0,0,4,0]] [clauses constructed] [8] [-------------------------------------] [new refinement] false :- human(A), male(A), not female(A). [0/1] [new refinement] false :- human(A), female(A), human(B). [0/2] [new refinement] false :- human(A), female(A), male(A). [0/0] [-------------------------------------] [good clause] false :- human(A), female(A), male(A). [pos-neg] [0] [clause label] [[0,0,4,0]] [clauses constructed] [11] [-------------------------------------] [new refinement] false :- human(A), female(A), not male(A). [0/1] [new refinement] false :- human(A), not male(A), human(B). [0/2] [new refinement] false :- human(A), not male(A), female(A). [0/1] [new refinement] false :- human(A), not male(A), not female(A). [0/0] [-------------------------------------] [good clause] false :- human(A), not male(A), not female(A). [pos-neg] [0] [clause label] [[0,0,4,0]] [clauses constructed] [15] [-------------------------------------] [new refinement] false :- human(A), not female(A), human(B). [0/2] [new refinement] false :- human(A), not female(A), male(A). [0/1] [new refinement] false :- human(A), not female(A), not male(A). [0/0] [-------------------------------------] [good clause] false :- human(A), not female(A), not male(A). [pos-neg] [0] [clause label] [[0,0,4,0]] [clauses constructed] [18] [-------------------------------------] [new refinement] false :- human(A), human(B), human(C). [0/8] [new refinement] false :- human(A), human(B), male(A). [0/2] [new refinement] false :- human(A), human(B), male(B). [0/2] [new refinement] false :- human(A), human(B), female(A). [0/2] [new refinement] false :- human(A), human(B), female(B). [0/2] [new refinement] false :- human(A), human(B), not male(A). [0/2] [new refinement] false :- human(A), human(B), not male(B). [0/2] [new refinement] false :- human(A), human(B), not female(A). [0/2] [new refinement] false :- human(A), human(B), not female(B). [0/2] [clauses constructed] [27] [search time] [0.02] [best clause] false :- human(A), male(A), female(A). [pos-neg] [0] [constraints] false :- human(A), male(A), female(A). [pos-neg] [0] false :- human(A), female(A), male(A). [pos-neg] [0] false :- human(A), not male(A), not female(A). [pos-neg] [0] false :- human(A), not female(A), not male(A). [pos-neg] [0] [total clauses constructed] [27] yes ?- ~/aleph/test/examples/constraints[43]> exit exit script done on Fri 15 Nov 2002 12:35:42 GMT