Next: mpg-ref-not_provable, Previous: mpg-ref-not_greater_than, Up: mpg-bpr [Contents][Index]
>=/2
ISO+Expr1 >=
+Expr2
Succeeds if the results of evaluating Expr1 and Expr2 are equal.
expr, must be ground
expr, must be ground
Succeeds if the result of evaluating Expr1 is greater than or equal to the result of evaluating Expr2.
Arithmetic errors (see ref-ari-exc).
| ?- 42 >= 42. yes
| ?- "b" >= "a". yes