Documentation Prolog Predicate Reference builtin =/2

=/2

Unification.

Description

'='( ?term, ?term )

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

Examples

Example #1 Example of =/2

?- p(a, X, c) = p(Y, b, c). % X = b , Y = a. ?- X = f(X). % X = f(X). ?- p = q. % false.

Implementation