Next:
Standard Order of
Up:
Built-In Predicates
Previous:
Verify Type of
Comparison and Unification or Terms
Standard Order of Terms
Passani Luca
Tue Nov 14 08:58:33 MET 1995