Home
All Categories
Best Categories
Recipes
Games
Nutritional Information
The Internet Encyclopedia
Electronics
News
English
Bangladesh English
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 variable
s.
< Previous Terms
Terms Containing narrowing
Next Terms >
nanotechnology
Napier
NAPLPS
NAPSS
narrowband
Algebraic Logic Functional language
spam
NAS
nasal demons
NASI
nastistical
NASTRAN