Situation Calculus
?- holds(on(b,table),S,3).
holds(on(b,table),[puton(b,table)|Rest],3):- 3ɬ, M is 3-1,
neq(b,table),
holds(clear(b),Rest,M),
holds(clear(table),Rest,M).
Axiom 1
Axiom 2
holds(clear(b),[puton(A,B)|Rest1],2) :-
2ɬ, M is 2-1,neq(A,B),
holds(on(A,b), Rest1,M),
holds(clear(A), Rest1,M),
holds(clear(B), Rest1,M).
Previous slide
Next slide
Back to first slide
View graphic version