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