This operator tests whether two terms are not unifiable. This operator fails if the match succeeds, the values assigned to variables are not stored because the operator then fails.
see also: = /2 unify_with_occurs_check/2 arithmetic compare operators
| Examples | |
| f(a, X) \= f(X, b). | succeeds, X is an empty variable |
| f(X, a) \= f(G(Y), Y). | fails |
| A \= B. | fails |