Situation Calculus
% Axiom - 2
holds(clear(C),[puton(A,B)|S],N) :-
Nɬ, M is N-1,
neq(A,B),
holds(on(A,C),S,M),
holds(clear(A),S,M),
holds(clear(B),S,M).
Previous slide
Next slide
Back to first slide
View graphic version