Problem+Solving 源代码

Date: Monday, 25-Nov-96 23:09:09 GMT Server: NCSA/1.2 MIME-version: 1.0 Content-type: text/html Last-modified: Friday, 06-Sep-96 1…

(defproblem problem oldblocks ( (on-table b1) (on b2 b1) (on b7 b2) (clear b7) (on-table b3) (on b4 b3) (on b10 b4) (clear b1…

(defproblem problem basic ((have kiwi)) ((swap banjo kiwi)))

(defproblem problem logistics ( (airplane-at plane1 LOC1-1) (airplane-at plane2 LOC4-1) (airplane-at plane3 LOC5-1) (AIRP…

(defproblem problem madrts ;;;************* Problem #0 ************************* ( (m_Unit 0) (m_Unit 1) (m_Unit 2) …

(defproblem problem foralltest ( (p y) (q x) (q y) (w y)) ((succeed)) )

(defproblem problem forallexample ((truck t1) (truck t2) (package p1) (package p2) (package p3) (package p4) (truck-at t1 cit…

(defproblem problem blocks ( (block b1) (block b2) (block b4) (block b5) (block b6) (block b13) (block b35) (bloc…

(defproblem problem freecell ( (empty-cols 0) (empty-cells 5) (on s 1 nil nil) (on h 1 nil nil) (on d 1 nil …

(defproblem problem test ((a obj1) (b obj1 obj2 obj3) (c obj1 obj2 obj4) (q obj4 obj5) (r obj4 6) (q obj4 obj7) (r obj4 5) (q…