From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 30 Oct 2014 11:18:23 +0000 (+0100)
Subject: thing
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=787547cd5457db7cec04b65b5aa03dc7bc3a0204;p=ker1415-1.git

thing
---

diff --git a/report/src/instancetask1.pl b/report/src/instancetask1.pl
index 28567c7..a7b5b46 100644
--- 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
--- 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.