By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions