From 881210f3219991ad65ab255f335c1dd1870d3b9a Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 28 Oct 2014 17:15:30 +0100 Subject: [PATCH] fixed the horror bug --- report/src/domaintask1.pl | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) 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). -- 2.20.1