Narrowing – Computing Reference – eLook.org


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
Read More
1 week ago
16
1 week ago
6
1 week ago
6

New Casinos

© Copyright 2024 | Elook.org