“Not equal” sign in Visual Prolog? December 10, 2023 by Tarik 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)