next up previous contents index
Next: Character-string operations Up: Other Built-in Predicates Previous: Unification   Contents   Index

Arithmetic comparison



Neng-Fa Zhou
1999-11-24