Next: ref-lte-act, Up: ref-lte [Contents][Index]
| • ref-lte-met-typ | Type Checking | |
| • ref-lte-met-usu | Unification |
Meta-logical predicates are those predicates that allow you to examine the current instantiation state of a simple or compound term, or the components of a compound term. This section describes the meta-logical predicates as well as others that deal with terms as such.