Next:
Character-string operations
Up:
Other Built-in Predicates
Previous:
Unification
 
Contents
 
Index
Arithmetic comparison
X =:= Y
X
is numerically equal to
Y
.
X =\= Y
X
is not numerically equal to
Y
.
X < Y
X
is less than
Y
.
X =< Y
X
is less than or equal to
Y
.
X > Y
X
is greater than
Y
.
X >= Y
X
is greater than or equal to
Y
.
Neng-Fa Zhou
1999-11-24