predicates for character evaluation
`a < `b , `c =< Char , Char1 >= Char2 , >(`a,`b) , >=(Char,`x)
<(Char1,Char2) (i,i) Char1 < Char2 (i,i)
=<(Char1,Char2) (i,i) Char1 =< Char2 (i,i)
>(Char1,Char2) (i,i) Char1 > Char2 (i,i)
>=(Char1,Char2) (i,i) Char1 >= Char2 (i,i)
char(Char1) (i) character a)
char(Char2) (i) character b)
These predicates succeed if the ASCII values of the two characters match the indicated inequation.
These predicates are declared as op(700,xfx,<predicate>)
No runtime errors
client-server