11.3.129 >= /2 [ISO]

Synopsis

+Expr1 >= +Expr2

Succeeds if the results of evaluating Expr1 and Expr2 are equal.

Arguments

Expr1

expr, must be ground

Expr2

expr, must be ground

Description

Succeeds if the result of evaluating Expr1 is greater than or equal to the result of evaluating Expr2.

Exceptions

Arithmetic errors (see ref-ari-exc).

Examples

     | ?- 42 >= 42.
     
     yes

     | ?- "b" >= "a".
     
     yes

See Also

ref-ari