“Not equal” sign in Visual Prolog?
I can't find any documentation on "not equal" sign in Visual Prolog. Please provide the right solution of this problem: class predicates sister : (string Person, string Sister) nondeterm(o,o). clauses sister(Person, Sister) :- Person [not-equal-sign] Sister, parent(Person, Parent), parent(Sister, Parent), woman(Sister). 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) Documentation for the second variant pointed out by Kaarel can be found in this Visual Prolog reference page. However the problem with your code goes a little