Prolog Language Operators Term equality


Example

Equality operatorSucceeds if
X = YX can be unified with Y
X \= YX cannot be unified with Y
X == YX and Y are identical (i.e. they unify with no variable bindings occurring)
X \== YX and Y are not identical
X =:= YX and Y are arithmetically equal
X =\= YX and Y are not arithmetically equal