thing

diff --git a/report/src/instancetask1.pl b/report/src/instancetask1.pl
index 28567c7..a7b5b46 100644 (file)
--- a/report/src/instancetask1.pl
+++ b/report/src/instancetask1.pl
@@ -55,7 +55,6 @@ 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).

diff --git a/report/src/planner.pl b/report/src/planner.pl
index b340a92..af47cad 100644 (file)
--- a/report/src/planner.pl
+++ b/report/src/planner.pl
@@ -71,7 +71,7 @@ result(E,S,result(E,S)) :- primitive_action(E), poss(E,S).
 :- dynamic debug/1.
 :- multifile debug/1.
 
-debug(on).
+%debug(on).
 debugoutput(A) :- debug(on), A, !; true.