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