forall

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

; This extremely simple example shows some of the most essential
; features of SHOP2.

(defdomain foralltest (
  (:operator (!do-something)
    ()
    ()
    ()
  )
  (:method (succeed)
    ((forall (?v) ((p ?v)) ((q ?v) (q ?v) (not (w ?v)))))
    ((!do-something))
  )
 )
)