next up previous contents index
Next: Term manipulation Up: Other Built-in Predicates Previous: Term test   Contents   Index

Term comparison



Neng-Fa Zhou
1999-11-24