Succeeds if Term1 and Term2 are identical terms.
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