Next: ref-lps, Previous: ref-ari, Up: Prolog Intro [Contents][Index]
| • 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 |