problem

SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其java版本。

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