Script started on Fri 15 Nov 2002 16:58:22 GMT ~[41]> cd ~/aleph/test/examples/numbers ~/aleph/test/examples/numbers[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 1161856 bytes in 0.47 seconds ] yes ?- read_all(guess). [ reconsulting guess.b... ] [ guess.b reconsulted 2752 bytes in 0.0 seconds ] [consulting pos examples] [guess.f] [consulting neg examples] [guess.n] yes ?- sat(1). [sat] [1] [p(3)] [bottom clause] p(A) :- gteq(A,9), gteq(A,6), gteq(A,3). [literals] [4] [saturation time] [0.0] yes ?- reduce. [reduce] [best label so far] [[1,0,2,1]/0] p(A). [5/4] p(A) :- gteq(A,9). [2/0] [-------------------------------------] [found clause] p(A) :- gteq(A,9). [pos-neg] [2] [clause label] [[2,0,2,2]] [clauses constructed] [2] [-------------------------------------] p(A) :- gteq(A,6). [3/1] p(A) :- gteq(A,3). [5/2] p(A) :- gteq(A,6), gteq(A,3). [3/1] [clauses constructed] [5] [search time] [0.0] [best clause] p(A) :- gteq(A,9). [pos-neg] [2] yes ?- ~/aleph/test/examples/numbers[43]> 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 1161856 bytes in 0.46 seconds ] yes ?- read_all(ineq). [ reconsulting ineq.b... ] [ ineq.b reconsulted 12624 bytes in 0.01 seconds ] [consulting pos examples] [ineq.f] [consulting neg examples] [ineq.n] yes ?- sat(1). [sat] [1] [p(3)] [bottom clause] p(A) :- gteq(A,3). [literals] [2] [saturation time] [0.0] yes ?- reduce. [reduce] [best label so far] [[1,0,2,1]/0] p(A). [5/4] [lazy evaluation] [gteq] [completed] p(A) :- gteq(A,8). [3/0] [-------------------------------------] [found clause] p(A) :- gteq(A,8). [pos-neg] [3] [clause label] [[3,0,2,3]] [clauses constructed] [2] [-------------------------------------] [clauses constructed] [2] [search time] [0.0] [best clause] p(A) :- gteq(A,8). [pos-neg] [3] yes ?- ~/aleph/test/examples/numbers[44]> 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 1161856 bytes in 0.47 seconds ] yes ?- read_all(line). [ reconsulting line.b... ] [ line.b reconsulted 7180 bytes in 0.0 seconds ] [consulting pos examples] [line.f] [consulting neg examples] [line.n] yes ?- sat(1). [sat] [1] [p(1,2)] [bottom clause] p(A,B) if: B is 0.0 * A + 2 +/- 0.0. [literals] [2] [saturation time] [0.01] yes ?- reduce. [reduce] [best label so far] [[1,0,2,1]/0] p(A,B). [4/3] [lazy evaluation] [lin_regress1] [completed] p(A,B) if: B is 2.0 * A + 0.0 +/- 0.0. [4/0] [-------------------------------------] [found clause] p(A,B) if: B is 2.0 * A + 0.0 +/- 0.0. [pos-neg] [4] [clause label] [[4,0,2,4]] [clauses constructed] [2] [-------------------------------------] [clauses constructed] [2] [search time] [0.0] [best clause] p(A,B) if: B is 2.0 * A + 0.0 +/- 0.0. [pos-neg] [4] yes ?- ~/aleph/test/examples/numbers[45]> yap [ Restoring file /users/ashwin/Yap-4.3.18/solaris/startup ] [ YAP version Yap-4.3.18 ] ?- [aleph]. [ consulting aleph... ] rA 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 1161856 bytes in 0.48 seconds ] yes ?- read_all(miline). [ reconsulting miline.b... ] [ miline.b reconsulted 16144 bytes in 0.01 seconds ] [consulting pos examples] [miline.f] [consulting neg examples] [miline.n] yes ?- sat(1). [sat] [1] [p(b1,1,2)] [bottom clause] p(A,B,C) if: exists B in bag A such that C is 0.0 * B + 2 +/- 0.0. [literals] [2] [saturation time] [0.0] yes ?- reduce. [reduce] [best label so far] [[1,0,2,1]/0] p(A,B,C). [6/3] [lazy evaluation] [lin_regress1] [completed] p(A,B,C) if: exists B in bag A such that C is 2.0 * B + 0.0 +/- 0.0. [4/0] [-------------------------------------] [found clause] p(A,B,C) if: exists B in bag A such that C is 2.0 * B + 0.0 +/- 0.0. [pos-neg] [4] [clause label] [[4,0,2,4]] [clauses constructed] [2] [-------------------------------------] [clauses constructed] [2] [search time] [0.0] [best clause] p(A,B,C) if: exists B in bag A such that C is 2.0 * B + 0.0 +/- 0.0. [pos-neg] [4] yes ?- ~/aleph/test/examples/numbers[46]> exit exit script done on Fri 15 Nov 2002 16:59:41 GMT