repositories
/
ker1415-1.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
92dbcb3
)
fixed the horror bug
author
Mart Lubbers
<mart@martlubbers.net>
Tue, 28 Oct 2014 16:15:30 +0000
(17:15 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Tue, 28 Oct 2014 16:15:30 +0000
(17:15 +0100)
report/src/domaintask1.pl
patch
|
blob
|
history
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 ------------------------------------------
not(crate(_, CrateTarget, Direction)).
% --- Successor state axioms ------------------------------------------
-agent(AgentPlek,
do
(A, S)) :-
+agent(AgentPlek,
result
(A, S)) :-
A = move(_, AgentPlek);
A = push(OudeAgentPlek1, Richting),
A = move(_, AgentPlek);
A = push(OudeAgentPlek1, Richting),
- connected(OudeAgentPlek1, AgentPlek, Richting);
+
connected(OudeAgentPlek1, AgentPlek, Richting);
not(A = move(AgentPlek, _)), not(A = push(AgentPlek, _)),
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);
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, Richting
2
)),
+
connected(AgentPlek2, Kratplek, Richting2
),
+
crate(Krat, Kratplek, S).