Situation Calculus
% holds(+Goals,-Situation,+Steps).
% Initial Situation
holds(on(a,b),[],_).
holds(on(b,c),[],_).
holds(clear(a),[],_).
holds(on(c,table),[],_).
Previous slide
Next slide
Back to first slide
View graphic version