This theory is concerned with the underlying term model of the
Prolog interpreter. We find the following topics:
- Type Testing: Testing
the type of terms. More...
- Term Variables: Determining the variables of terms. More...
- Lexical Comparison: Lexically
- Building Unification: Constructing
- String Predicates: Some
that deal with chars and codes. More...
- Compatibility Matrix: ISO/DEC10
the structure theory. More...