Situation Calculus
% Sample queries
?- holds(on(a,c),S,1).
no
?- holds(on(a,c),S,2).
no
Previous slide
Next slide
Back to first slide
View graphic version