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