Lisp 不输出任何结果

Question

我有如下问题

  (define (problem GP)
   (:domain world)
   (:objects x1 z1 y1)
   (:init (X x1) (Z z1) )
   (:goal (Y y1))
   )

和如下域

  (define (domain GP-domain)
    (:action A
     :paremeters(?x y1)
     :precond((X ?x))
     :effect((Y y1)))
  )

我尝试用计划器运行它，但没有结果。正确的是，当满足前提条件(X？x)时， Action A将被执行。我不知道哪里出了问题。

另一个疑问是，当我在我的对象问题中将 y1 声明为对象时，是否允许我像上面那样在 Action A 中实际“声明”(Y y1)？这是正确的吗？

(已解决)

我应该用更简单的方式表达

 (define (domain GP-domain)
  (:action A
   :precond X
   :effect Y)

 (define (problem GP-problem)
   (:domain GP-domain)
   (:init X Z)
   (:goal Y)
  )

Answer 1

我应该用更简单的方式表达

 (define (domain GP-domain)
  (:action A
   :precond X
   :effect Y)

 (define (problem GP-problem)
   (:domain GP-domain)
   (:init X Z)
   (:goal Y)
  )