11.3.95 > /2 [ISO]

Synopsis

+Expr1 > +Expr2

Succeeds if the result of evaluating Expr1 is strictly greater than the result of evaluating Expr2.

Arguments

Expr1

expr, must be ground

Expr2

expr, must be ground

Description

Evaluates Expr1 and Expr2 as arithmetic expressions and compares the results.

Exceptions

Arithmetic errors (see ref-ari-exc).

Examples

     | ?- "g" > "g".
     
     no

     | ?- 4*2 > 15/2.
     
     yes

See Also

ref-ari