请你用pddl写出积木世界的domain文件和problem文件，其中，domain文件只有2个动作，一个是move，有2个参数，另一个是moToTable，只有一个参数。在编写过程中，你可能要用到forall和when

好的，以下是一个简单的积木世界的PDDL domain文件和problem文件：

**domain文件**

(define (domain blocks-world)
  (:requirements :strips :typing)
  (:types block)
  (:predicates (ontable ?x - block)
               (on ?x - block ?y - block)
               (clear ?x - block)
               (holding ?x - block))
  (:action move
    :parameters (?x - block ?y - block)
    :precondition (and (clear ?x) (clear ?y) (holding ?x))
    :effect (and (not (holding ?x)) (not (clear ?y)) (on ?x ?y) (clear ?x)))
  (:action moveToTable
    :parameters (?x - block)
    :precondition (and (clear ?x) (holding ?x))
    :effect (and (not (holding ?x)) (ontable ?x) (clear ?x)))
)

**problem文件**

(define (problem blocks-1)
  (:domain blocks-world)
  (:objects A B C - block)
  (:init (ontable A) (ontable B) (ontable C) (clear A) (clear B) (clear C) (not (holding A)) (not (holding B)) (not (holding C)) (not (on A B)) (not (on A C)) (not (on B A)) (not (on B C)) (not (on C A)) (not (on C B)))
  (:goal (and (on A B) (on B C)))
)

在这个例子中，我们定义了一个blocks-world域，其中有两个动作：move和moveToTable。每个动作都有自己的参数、前置条件和效果。在problem文件中，我们定义了一个初始状态，其中所有的块都在桌子上，没有任何块叠在彼此上方。目标状态是将块A叠在块B上，将块B叠在块C上。