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