11.3.216 == /2 [ISO]

Synopsis

+Term1 == +Term2

Succeeds if Term1 and Term2 are identical terms.

Arguments

Term1

term

Term2

term

Examples

For example, the query

     | ?- X == Y.

fails (answers `no') because X and Y are distinct uninstantiated variables. However, the query

     | ?- X = Y, X == Y.

succeeds because the first goal unifies the two. variables

See Also

ref-lte-cte.