projog

3.34. X@>Y - term "greater than" test.

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).

no