visual-prolog

I don’t know what do you mean by “not equal” (does not unify?), but you could try these: X \= Y not(X = Y) \+ (X = Y)