domain.pddl

(define (domain default)
    (:requirements :strips)
    
    (:predicates
        (tile ?t)
        (delivery ?t)
        (agent ?a)
        (parcel ?p)
        (me ?a)
        (at ?agentOrParcel ?tile)
        (right ?t1 ?t2)
        (left ?t1 ?t2)
        (up ?t1 ?t2)
        (down ?t1 ?t2)
        (carrying ?a ?p)
    )
    
    (:action move-right
        :parameters (?me ?from ?to)
        :precondition (and
            (me ?me)
            (at ?me ?from)
            (right ?from ?to)
        )
        :effect (and
            (at ?me ?to)
            (not (at ?me ?from))
        )
    )

    (:action move-left
        :parameters (?me ?from ?to)
        :precondition (and
            (me ?me)
            (at ?me ?from)
            (left ?from ?to)
        )
        :effect (and
            (at ?me ?to)
            (not (at ?me ?from))
        )
    )

    (:action move-up
        :parameters (?me ?from ?to)
        :precondition (and
            (me ?me)
            (at ?me ?from)
            (up ?from ?to)
        )
        :effect (and
            (at ?me ?to)
            (not (at ?me ?from))
        )
    )

    (:action move-down
        :parameters (?me ?from ?to)
        :precondition (and
            (me ?me)
            (at ?me ?from)
            (down ?from ?to)
        )
        :effect (and
            (at ?me ?to)
            (not (at ?me ?from))
        )
    )
    
    (:action pick-up
        :parameters (?me ?p ?t)
        :precondition (and
            (me ?me)
            (parcel ?p)
            (at ?me ?t)
            (at ?p ?t)
        )
        :effect (and
            (carrying ?me ?p)
            (not (at ?p ?t))
        )
    )

    (:action put-down
        :parameters (?me ?p ?t)
        :precondition (and
            (me ?me)
            (carrying ?me ?p)
            (at ?me ?t)
            (delivery ?t)
        )
        :effect (and
            (at ?me ?t)
            (not (carrying ?me ?p))
        )
    )
)