lisp - 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)))
  )

我尝试用计划器运行它，但没有结果。正确地，动作 A 将在满足前提条件 (X ?x) 时执行。我不知道出了什么问题。

另一个疑问是，当我在我的对象问题中将 y1 声明为对象时，是否允许我在上述操作 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)
  )