>acl International Allegro CL Enterprise Edition 8.0 [Solaris] (Jun 30, 2006 12:35) Copyright (C) 1985-2005, Franz Inc., Oakland, CA, USA. All Rights Reserved. This development copy of Allegro CL is licensed to: [4549] University at Buffalo ;; Optimization settings: safety 1, space 1, speed 1, debug 2. ;; For a complete description of all compiler switches given the ;; current optimization settings evaluate (explain-compiler-settings). ;;--- ;; Current reader case mode: :case-sensitive-lower cl-user(1): :ld /projects/shapiro/Sneps/sneps262 ; Loading /projects/shapiro/Sneps/sneps262.cl ; Loading /projects/shapiro/Sneps/Sneps262/load-sneps.lisp ; Loading ; /projects/snwiz/Install/Sneps-2.6.1/load-logical-pathnames.lisp Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.6 [PL:1a 2004/08/26 23:05:27] loaded. Type `(sneps)' or `(snepslog)' to get started. cl-user(2): (snepslog) Welcome to SNePSLOG (A logic interface to SNePS) Copyright (C) 1984--2004 by Research Foundation of State University of New York. SNePS comes with ABSOLUTELY NO WARRANTY! Type `copyright' for detailed copyright information. Type `demo' for a list of example applications. : set-mode-3 Net reset In SNePSLOG Mode 3. Use define-frame . achieve(x1) will be represented by {, } ActPlan(x1, x2) will be represented by {, } believe(x1) will be represented by {, } disbelieve(x1) will be represented by {, } adopt(x1) will be represented by {, } unadopt(x1) will be represented by {, } do-all(x1) will be represented by {, } do-one(x1) will be represented by {, } Effect(x1, x2) will be represented by {, } else(x1) will be represented by {} GoalPlan(x1, x2) will be represented by {, } if(x1, x2) will be represented by {, } ifdo(x1, x2) will be represented by {, } Precondition(x1, x2) will be represented by {, } snif(x1) will be represented by {, } sniterate(x1) will be represented by {, } snsequence(x1, x2) will be represented by {, , } whendo(x1, x2) will be represented by {, } wheneverdo(x1, x2) will be represented by {, } withall(x1, x2, x3, x4) will be represented by {, , , , } withsome(x1, x2, x3, x4) will be represented by {, , , , } CPU time : 0.01 : define-frame Does (nil agent act) Does(x1, x2) will be represented by {, } CPU time : 0.00 : define-frame the-action(nil action) the-action(x1) will be represented by {} CPU time : 0.01 : define-frame fly1 (action1) fly1(x1) will be represented by {, } CPU time : 0.00 : Does(tweety,the-action(fly)). wff2!: Does(tweety,the-action(fly)) CPU time : 0.00 : Does(tweety,fly1). wff3!: Does(tweety,fly1) CPU time : 0.00 : %(describe *nodes) (m3! (act fly1) (agent tweety)) (m2! (act (m1 (action fly))) (agent tweety)) wff3!: Does(tweety,fly1) fly1: fly1 wff2!: Does(tweety,the-action(fly)) wff1: the-action(fly) fly: fly tweety: tweety CPU time : 0.00 : Does(tweety,fly1()). wff5!: Does(tweety,fly1()) CPU time : 0.01 : %(describe *nodes) (m5! (act (m4 (action1 fly1))) (agent tweety)) (m3! (act fly1) (agent tweety)) (m2! (act (m1 (action fly))) (agent tweety)) wff5!: Does(tweety,fly1()) wff4: fly1() wff3!: Does(tweety,fly1) fly1: fly1 wff2!: Does(tweety,the-action(fly)) wff1: the-action(fly) fly: fly tweety: tweety CPU time : 0.00 : }