“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:
