predicates for integer evaluation
1 < 3 , 3 =< 3 , 4 >= 2 , <(2,3) , >=(4,2)
<(Val1,Val2) (i,i) Val1 < Val2 (i,i)
=<(Val1,Val2) (i,i) Val1 =< Val2 (i,i)
>(Val1,Val2) (i,i) Val1 > Val2 (i,i)
>=(Val1,Val2) (i,i) Val1 >= Val2 (i,i)
integer(Val1) (i) integer value a)
integer(Val2) (i) integer value b)
These predicates succeed if the values of the two integers match the indicated inequation.
These predicates are declared as op(700,xfx,<predicate>)
No runtime errors
client-server