unifies two terms.
'='/2 unifies Term1 with Term2 . It succeeds if they are unifiable, otherwise the predicate fails.
'='/2 is a predefined infix-operator with priority 700 which is non-associative (see also current_op/3).
Term1 term Term2 term
| X is 10*10, X=100. | Succeeds with substitution X <- 100. |
| X=f(X), Y=f(Y), X=Y. | Creates an infinite term -> writing this term will result in an inifite loop. |
| integer(2) = integer(2.0). | Fails. |
This predicate is part of the ISO-Prolog Standard.
'\='/2, unify_with_occurs_check/2.
| scroll to top |
|