Documentation \=/2
available from version beta

\=/2

Not unification.

Description

'\='( ?term, ?term )

X \= Y is true if and only if X and Y are not unifiable. For unification with occurs check see unify_with_occurs_check/2

Implementation