From 14e418b37a24f031f340444d8e461088e5c6e995 Mon Sep 17 00:00:00 2001 From: Naveen Sundar Govindarajulu Date: Wed, 18 Jan 2017 23:16:33 -0500 Subject: [PATCH] Simplify same room definition --- src/main/resources/edu/rpi/rair/goal_management_2.clj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/resources/edu/rpi/rair/goal_management_2.clj b/src/main/resources/edu/rpi/rair/goal_management_2.clj index bbdc345..5b68155 100644 --- a/src/main/resources/edu/rpi/rair/goal_management_2.clj +++ b/src/main/resources/edu/rpi/rair/goal_management_2.clj @@ -16,7 +16,7 @@ (not (open (door room1))) (forall [?x ?y ?room] (implies (and (and (in ?x ?room) (in ?y ?room)) (not (= ?x ?y))) (sameroom ?x ?y))) - (forall [?x ?y] (exists ?room (implies (sameroom ?x ?y) (and (in ?x ?room) (in ?y ?room)) )) ) + (forall [?x ?y] (implies (sameroom ?x ?y) (exists ?room (and (in ?x ?room) (in ?y ?room))))) ] :goal []