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,table)],2) :-
2ɬ, M is 2-1,neq(a,table),
holds(on(a,b), [],M),
holds(clear(a), [],M),
holds(clear(table), [],M).
Previous slide
Next slide
Back to first slide
View graphic version