Narrowing
Unification followed by unfolding.
The left-hand side of a rule is unified with some term, resulting in a set of variable bindings.
The term is then replaced by the right-hand side of the rule with values substituted for bound variables.
< Previous Terms | Terms Containing narrowing | Next Terms > |
nanotechnology Napier NAPLPS NAPSS narrowband |
Algebraic Logic Functional language spam |
NAS nasal demons NASI nastistical NASTRAN |