• 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.