Next: mpg-ref-term_expansion, Previous: mpg-ref-telling, Up: mpg-bpr [Contents][Index]
==/2
ISO+Term1 ==
+Term2
Succeeds if Term1 and Term2 are identical terms.
term
term
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
None.