;;; Domain file of toy examples for EGGS including the famous safe-to-stack and ;;; suicide examples. ;;; Try (eggs '(safe-to-stack obj1 obj2)) and (eggs '(kill john john)) (index-brules '((<- (safe-to-stack ?x ?y) (not (fragile ?y))) (<- (safe-to-stack ?x ?y) (lighter ?x ?y)) (<- (weight ?x ?w) (volume ?x ?v)(density ?x ?d)(times ?v ?d ?w)) (<- (lighter ?x ?y)(weight ?x ?w)(weight ?y ?z)(less ?w ?z)) (<- (weight ?x 5) (isa ?x endtable)))) (index-facts '((on obj1 obj2)(isa obj1 box)(isa obj2 endtable)(color obj1 red) (color obj2 blue)(volume obj1 1)(density obj1 .1)(times 1 ?x ?x) (less .1 5))) (index-brules '((<- (kill ?x ?y)(hate ?x ?y)(possess ?x ?w)(isa ?w weapon)) (<- (hate ?x ?x) (depressed ?x)) (<- (possess ?x ?y)(buy ?x ?y)) (<- (isa ?x weapon)(isa ?x gun)))) (index-facts '((depressed john)(buy john g1)(isa g1 gun)))