next up previous contents
Next: @>/2@>=/2, @</2 Up: Powerful Features ---Comparisons Previous: ==/2

==/2

This is equivalent to the Prolog definition

 
X \== Y:-

SPM_quot" (X == Y).



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