“Not equal” sign in 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)
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)