Succeeds when the term argument X is greater than the term argument Y.
Examples
?- b@>a.
yes
?- b@>b.
no
?- b@>c.
no
?- b@>1.
yes
?- b@>b(a).
noX@>Y - term "greater than" test.Succeeds when the term argument X is greater than the term argument Y.
?- b@>a.
yes
?- b@>b.
no
?- b@>c.
no
?- b@>1.
yes
?- b@>b(a).
no