Tests whether the arguments are different terms, if their structure differs then this operator succeeds. If even the names of the variables are different then this operator succeeds. See term identical operator.
see also: @> @>= == @< @=< term precedence
| Examples | |
| X \== Y. | succeeds |
| f(X,X) \== f(X,X). | fails |
| 1.0e+1 \== 10.0. | fails |