(load "deduce.lisp") (load "eggs.lisp") (load "toy-domain.lisp") (run-eggs '((safe-to-stack obj1 obj2))) Deduction time: 0.41 sec Retrieved answer: (SAFE-TO-STACK OBJ1 OBJ2) Proof: ((SAFE-TO-STACK OBJ1 OBJ2) ((LIGHTER OBJ1 OBJ2) ((WEIGHT OBJ1 0.1) (VOLUME OBJ1 1) (DENSITY OBJ1 0.1) (TIMES 1 0.1 0.1)) ((WEIGHT OBJ2 5) (ISA OBJ2 ENDTABLE)) (LESS 0.1 5))) Proof Structure: (rule-proof (SAFE-TO-STACK ?#:G165 ?#:G166) (((LIGHTER ?#:G165 ?#:G166) (rule-proof (LIGHTER ?#:G167 ?#:G168) (((WEIGHT ?#:G167 ?#:G169) (rule-proof (WEIGHT ?#:G171 ?#:G172) (((VOLUME ?#:G171 ?#:G173) (VOLUME OBJ1 1)) ((DENSITY ?#:G171 ?#:G174) (DENSITY OBJ1 0.1)) ((TIMES ?#:G173 ?#:G174 ?#:G172) (TIMES 1 ?X ?X))))) ((WEIGHT ?#:G168 ?#:G170) (rule-proof (WEIGHT ?#:G179 5) (((ISA ?#:G179 ENDTABLE) (ISA OBJ2 ENDTABLE))))) ((LESS ?#:G169 ?#:G170) (LESS 0.1 5))))))) Generalizing proof (WEIGHT ?#:G167 ?#:G169)=(WEIGHT ?#:G171 ?#:G172) Updated bindings: (T (?#:G169 ?#:G172) (?#:G167 ?#:G171)) (WEIGHT ?#:G168 ?#:G170)=(WEIGHT ?#:G179 5) Updated bindings: (T (?#:G170 5) (?#:G168 ?#:G179) (?#:G169 ?#:G172) (?#:G167 ?#:G171)) (LIGHTER ?#:G165 ?#:G166)=(LIGHTER ?#:G167 ?#:G168) Updated bindings: (T (?#:G166 ?#:G168) (?#:G165 ?#:G167) (?#:G170 5) (?#:G168 ?#:G179) (?#:G169 ?#:G172) (?#:G167 ?#:G171)) General proof: ((SAFE-TO-STACK ?#:G171 ?#:G179) ((LIGHTER ?#:G171 ?#:G179) ((WEIGHT ?#:G171 ?#:G172) (VOLUME ?#:G171 ?#:G173) (DENSITY ?#:G171 ?#:G174) (TIMES ?#:G173 ?#:G174 ?#:G172)) ((WEIGHT ?#:G179 5) (ISA ?#:G179 ENDTABLE)) (LESS ?#:G172 5))) Larned rule: (<- (SAFE-TO-STACK ?#:G171 ?#:G179) (VOLUME ?#:G171 ?#:G173) (DENSITY ?#:G171 ?#:G174) (TIMES ?#:G173 ?#:G174 ?#:G172) (ISA ?#:G179 ENDTABLE) (LESS ?#:G172 5)) Number solved: 1 (100%) Total Deduce time: 0.41 sec; Learn time: 0.22 sec NIL ;;----------------------------------------------------------------------------- (run-eggs '((safe-to-stack obj1 obj2))) Deduction time: 0.15 sec Retrieved answer:(SAFE-TO-STACK OBJ1 OBJ2) Proof: ((SAFE-TO-STACK OBJ1 OBJ2) (VOLUME OBJ1 1) (DENSITY OBJ1 0.1) (TIMES 1 0.1 0.1) (ISA OBJ2 ENDTABLE) (LESS 0.1 5)) Proof Structure: (RULE-PROOF (SAFE-TO-STACK ?#:G180 ?#:G181) (((VOLUME ?#:G180 ?#:G182) (VOLUME O BJ1 1)) ((DENSITY ?#:G180 ?#:G183) (DENSITY OBJ1 0.1)) ((TIMES ?#:G182 ?#:G183 ? #:G184) (TIMES 1 ?X ?X)) ((ISA ?#:G181 ENDTABLE) (ISA OBJ2 ENDTABLE)) ((LESS ?#: G184 5) (LESS 0.1 5)))) Number solved: 1 (100%) Total Deduce time: 0.15 sec; Learn time: 0.00 sec NIL