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