mpg-ref-term_not_greater_than - SICStus Prolog

Next: mpg-ref-term_greater_than, Previous: mpg-ref-term_less_than, Up: mpg-bpr

11.3.231 `@=</2` [ISO]

Synopsis

+Term1 @=< +Term2

Succeeds if Term1 is not after Term2 in the standard order.

Arguments

Term1: term
Term2: term

Exceptions

None.

See Also

Send feedback on this subject.