fixed the horror bug

diff --git a/report/src/domaintask1.pl b/report/src/domaintask1.pl
index 17ab88f..dadf72c 100644 (file)
--- 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).