From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 28 Oct 2014 16:15:30 +0000 (+0100)
Subject: fixed the horror bug
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=881210f3219991ad65ab255f335c1dd1870d3b9a;p=ker1415-1.git

fixed the horror bug
---

diff --git a/report/src/domaintask1.pl b/report/src/domaintask1.pl
index 17ab88f..dadf72c 100644
--- a/report/src/domaintask1.pl
+++ b/report/src/domaintask1.pl
@@ -19,18 +19,18 @@ poss(push(From, Direction), S) :-
    	not(crate(_, CrateTarget, Direction)).
 
 % --- Successor state axioms ------------------------------------------
-agent(AgentPlek, do(A, S)) :-
+agent(AgentPlek, result(A, S)) :-
 	A = move(_, AgentPlek);
 	A = push(OudeAgentPlek1, Richting),
-	connected(OudeAgentPlek1, AgentPlek, Richting);
+		connected(OudeAgentPlek1, AgentPlek, Richting);
 	not(A = move(AgentPlek, _)), not(A = push(AgentPlek, _)),
-	agent(AgentPlek, S).
+		agent(AgentPlek, S).
 	
-crate(Krat, Kratplek, do(A, S)) :-
+crate(Krat, Kratplek, result(A, S)) :-
 	A = push(AgentPlek, Richting), 
 		connected(AgentPlek, OudeKratPlek, Richting),
 		connected(OudeKratPlek, Kratplek, Richting),
    		crate(Krat, OudeKratPlek, S);
-	not(A = push(AgentPlek2, Richting)),
-	connected(AgentPlek2, Kratplek, Richting),
-	crate(Krat, Kratplek, S).
+	not(A = push(AgentPlek2, Richting2)),
+		connected(AgentPlek2, Kratplek, Richting2),
+		crate(Krat, Kratplek, S).