Prolog

Yes.

Can anyone explain the multiple equality operators/predicates.
I'm having trouble with this:


sibling(A,B) :-
% A and B must be different entities
 parent(C,A),
 parent(C,B).

I tried with \=. \==, and none worked.
Thanks in advance.