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