Añadido goto inverso

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))