update'

[ker1415-1.git] / report / src / instancetask4.pl

diff --git a/report/src/instancetask4.pl b/report/src/instancetask4.pl
index 9fade9c..8412e52 100644 (file)
--- a/report/src/instancetask4.pl
+++ b/report/src/instancetask4.pl
@@ -19,8 +19,8 @@ connected(loc22, loc23, north).
 connected(loc23, loc33, east).
 connected(loc23, loc24, north).
 
-connected(loc31, loc32, east).
-connected(loc32, loc33, east).
+connected(loc31, loc32, north).
+connected(loc32, loc33, north).
 
 % The other way around, west and south
 connected(loc21, loc11, west).
@@ -38,24 +38,14 @@ connected(loc23, loc22, south).
 connected(loc33, loc23, west).
 connected(loc24, loc23, south).
 
-connected(loc32, loc3-1, west).
-connected(loc33, loc3-2, west).
-
-%connected(X, Y, east) :- connected(Y, X, west).
-%connected(X, Y, north) :- connected(Y, X, south).
+connected(loc32, loc31, south).
+connected(loc33, loc32, south).
 
 crate(cratec, loc21, s0).
 crate(crateb, loc22, s0).
 crate(cratea, loc23, s0).
 
-target(cratea, loc12).
-target(crateb, loc13).
-target(cratec, loc11).
-
 agent(loc32, s0).
 
 % --- Goal condition that the planner will try to reach ---------------
-%goal(S) :- forall(crate(Crate, Loc, S), target(Crate, Loc)).
-goal(S) :- crate(cratea, Targeta, S), target(cratea, Targeta),
-       crate(crateb, Targetb, S), target(crateb, Targetb),
-       crate(cratec, Targetc, S), target(cratec, Targetc).
+goal(S) :- crate(cratea, loc12, S), crate(crateb, loc13, S), crate(cratec, loc11, S).