Documentation =/2
available from version beta

=/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.

Implementation

Examples

published on 2017-08-16
?- p(a, X, c) = p(Y, b, c).
% X = b , Y = a ;
% false.

?- X = f(X).
% X = f(X) ;
% false.

?- p = q.
% false.