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