single-king-domain.pddl

(define (domain king)
    (:requirements :strips)
    (:predicates
        (at ?p ?x ?y)
        (adjacent ?y1 ?y2)
        (occupied ?x ?y)
    )
    (:action move
      :parameters (?p ?x1 ?y1 ?x2 ?y2)
      :precondition (and
        (at ?p ?x1 ?y1)
        (not (occupied ?x2 ?y2))
        (or (and (= ?x1 ?x2) (adjacent ?y1 ?y2))
            (and (= ?y1 ?y2) (adjacent ?x1 ?x2))
            (and (adjacent ?x1 ?x2) (adjacent ?y1 ?y2))
        )
      )
      :effect (and
        (not(at ?p ?x1 ?y1))
        (at ?p ?x2 ?y2)
        (occupied ?x2 ?y2)
        (not (occupied ?x1 ?y1))
      )
    )
)