| • ref-lte-met: | Meta-logical Predicates | |
| • ref-lte-act: | Analyzing and Constructing Terms | |
| • ref-lte-acl: | Analyzing and Constructing Lists | |
| • ref-lte-c2t: | Converting between Constants and Text | |
| • ref-lte-atm: | Atom Operations | |
| • ref-lte-anv: | Assigning Names to Variables | |
| • ref-lte-cpt: | Copying Terms | |
| • ref-lte-cte: | Comparing Terms | |
| • ref-lte-mut: | Mutable Terms | |
| • ref-lte-sum: | Summary of Predicates |