update, het werkt nu maar niet efficient

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

diff --git a/report/src/domaintask1.pl b/report/src/domaintask1.pl
index 1f41f38..20f6593 100644 (file)
--- a/report/src/domaintask1.pl
+++ b/report/src/domaintask1.pl
@@ -11,6 +11,7 @@ poss(move(From, To), S) :-
        agent(From, S),
        connected(From, To, _),
        not(crate(_, To, S)).
+
 poss(push(From, Direction), S) :-
        agent(From, S),
        connected(From, CrateLocation, Direction),
@@ -21,8 +22,8 @@ poss(push(From, Direction), S) :-
 % --- Successor state axioms ------------------------------------------
 agent(AgentPlek, result(A, S)) :-
        A = move(_, AgentPlek);
-       A = push(OudeAgentPlek1, Richting),
-               connected(OudeAgentPlek1, AgentPlek, Richting);
+       A = push(OudeAgentPlek, Richting),
+               connected(OudeAgentPlek, AgentPlek, Richting);
        not(A = move(AgentPlek, _)), not(A = push(AgentPlek, _)),
                agent(AgentPlek, S).