diff options
author | HombreLaser <sebastian-440@live.com> | 2022-11-24 20:35:46 -0600 |
---|---|---|
committer | HombreLaser <sebastian-440@live.com> | 2022-11-24 20:35:46 -0600 |
commit | 658f524d131eb4fba10baf58e8dd8cdf303c731d (patch) | |
tree | 42091ec6c4a2db32fbd1edf4fae91ebe6d2085e4 /domain.pddl | |
parent | fd84d337bd6869a84c468868a6328e432ed9baea (diff) |
Añadido goto inverso
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)) |