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