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

Exceptions

None.

See Also

ref-lte-cte.