4.8 Looking at Terms

• 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