Situation Calculus
?- holds(on(a,c),S,3).
S=[puton(a,c),puton(b,table),puton(a,table)]
Previous slide
Next slide
Back to first slide
View graphic version