PLOGHELP GREATERTHAN Chris Mellish, August 1982
Revised by Kathryn Seifert October 1986
Operators which compare the numerical magnitudes of expressions
?- X > Y.
?- X >= Y.
Keywords: numerical magnitude, greater than, operators, symbols,
arithmetic expressions
A goal of the form
?- X > Y.
will succeed if the number X is greater than the number Y. The
arguments are evaluated, so that
?- 1 + 3 > 3 - 9.
will succeed.
A goal of the form
?- X >= Y.
will succeed if the number X is greater than or equal to the number
Y. The arguments are evaluated, so that
?- 1 + 3 > 9 + 3.
will fail.
By default, ">" and ">=" have precedence 40 and fix "xfx".
(see PLOGHELP * OP and PLOGHELP * OPERATORS).
-- RELATED DOCUMENTATION -----------------------------------------------
PLOGHELP * IS
Evaluating POP-11 and arithmetic expressions which return one result
PLOGHELP * SYMBOLS
Summary and index of HELP files for symbols used in Prolog
PLOGHELP * OPERATORS
Operator declarations made when the Prolog system is loaded
PLOGHELP * OP
How to declare operators
PLOGHELP * LESSTHAN
Operators which compare the numerical magnitudes of expressions