Situation Calculus
% Extensional definition of not equal
neq(a,table).
neq(table,a).
neq(b,table).
neq(table,b).
neq(c,table).
neq(table,c).
neq(a,b).
neq(a,c).
neq(b,a).
neq(c,a).
neq(b,c).
neq(c,b).
Previous slide
Next slide
Back to first slide
View graphic version