Next: mpg-ref-term_unify_decided, Previous: mpg-ref-term_not_greater_than, Up: mpg-bpr [Contents][Index]
@>=/2
+Term1 @>= +Term2
@>=
Succeeds if Term1 is not before Term2 in the standard order.
term
None.
ref-lte-cte.