next up previous contents index
Next: Standard Order of Terms Up: Built-in predicates Previous: Verify Type of a   Contents   Index


Comparison and Unification or Terms


Subsections
Dr. Richard Botting 2001-12-12