/* definition of equality/inequality */

eq(X,X).

ineq(X,X) :- !, fail.
ineq(X,Y).