代码搜索:Problem

找到约 10,000 项符合「Problem」的源代码

代码结果 10,000
www.eeworm.com/read/433951/7901612

problem

(defproblem problem oldblocks ( (on-table b1) (on b2 b1) (on b7 b2) (clear b7) (on-table b3) (on b4 b3) (on b10 b4) (clear b10) (on-table b5) (on b6 b5) (clear b6) (on-table b8) (clear b8)
www.eeworm.com/read/433951/7901664

problem

(defproblem problem basic ((have kiwi)) ((swap banjo kiwi)))
www.eeworm.com/read/433951/7901702

problem

(defproblem problem logistics ( (airplane-at plane1 LOC1-1) (airplane-at plane2 LOC4-1) (airplane-at plane3 LOC5-1) (AIRPORT LOC1-1) (TRUCK truck1-1 city1) (truck-at truck1-1 LOC1-1) (I
www.eeworm.com/read/433951/7901749

problem

(defproblem problem madrts ;;;************* Problem #0 ************************* ( (m_Unit 0) (m_Unit 1) (m_Unit 2) (m_PlayerID 0 1) (m_PlayerID 1 1) (m_PlayerID 2 1) ;;; (m_
www.eeworm.com/read/433951/7901795

problem

(defproblem problem foralltest ( (p y) (q x) (q y) (w y)) ((succeed)) )
www.eeworm.com/read/433951/7901834

problem

(defproblem problem forallexample ((truck t1) (truck t2) (package p1) (package p2) (package p3) (package p4) (truck-at t1 city1) (truck-at t2 city2) (at p1 city2) (at p2 city1) (at p3 city2) (
www.eeworm.com/read/433951/7901888

problem

(defproblem problem blocks ( (block b1) (block b2) (block b4) (block b5) (block b6) (block b13) (block b35) (block b59) (block b67) (block b99) (block b112) (block b116) (bl
www.eeworm.com/read/433951/7901957

problem

(defproblem problem freecell ( (empty-cols 0) (empty-cells 5) (on s 1 nil nil) (on h 1 nil nil) (on d 1 nil nil) (on c 1 s 1) (on s 2 h 1) (on h 2 d 1) (on d 2 c
www.eeworm.com/read/433951/7902023

problem

(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 obj4 obj8) (r obj4 2) (ttt uuu) (v obj1) (v obj5) (t 3) (t 2) (t 1
www.eeworm.com/read/433951/7902096

problem

(defproblem problem ROVER ( ;;; ;;; facts ;;; (LANDER GENERAL) (MODE COLOUR) (MODE HIGH_RES) (MODE LOW_RES) (ROVER ROVER0) (ROVER ROVER1) (ROVER ROVER2)