11.3.241 =/2   ISO

Synopsis

+Term1 = +Term2

unifies Term1 and Term2.

Arguments

Term1

term

Term2

term

Description

This is defined as if by the clause ‘Z = Z.’.

If =/2 is not able to unify Term1 and Term2, then it will simply fail. A successful unification may unblock a goal or trigger an attribute handler, which may raise an exception with the culprit given as (=)/2. That is the case for library(clpfd).

Exceptions

None by (=)/2 per se, but see above.

See Also

Glossary, ref-sem-occ.