next up previous contents
Next: ==/2 Up: Powerful Features ---Comparisons Previous: Powerful Features ---Comparisons

==/2

If you do not want to unify two Prolog terms but you want to know if the terms are strictly identical:

 
?- X == Y.


no


?- X=Y, X == Y.


yes

Paul Brna
Mon May 24 20:14:48 BST 1999