diff options
Diffstat (limited to 'domain.pddl')
-rw-r--r-- | domain.pddl | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/domain.pddl b/domain.pddl index 6250683..6c4e364 100644 --- a/domain.pddl +++ b/domain.pddl @@ -12,10 +12,18 @@ :parameters (?origin - station ?destination - station ?x - train ?y - person) :precondition (and (connected ?origin ?destination) (at ?x ?origin) (in ?y ?x)) :effect - (and (not (in ?x ?origin)) + (and (not (at ?x ?origin)) (at ?x ?destination) (in ?y ?x))) ;; Person in train. + (:action gofrom + :parameters (?destination - station ?origin - station ?x - train ?y - person) + :precondition (and (connected ?destination ?origin) (at ?x ?origin) (in ?y ?x)) + :effect + (and (not (at ?x ?origin)) + (at ?x ?destination) + (in ?y ?x))) + (:action exit :parameters (?x - train ?y - person ?destination - station) :precondition (and (in ?y ?x) (at ?x ?destination)) |