You are here: irt.org | FOLDOC | narrowing
<logic programming> 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.
(2015-01-23)
Nearby terms: NAPLPS « NAPSS « narrowband « narrowing » NAS » nasal demons » NASI
FOLDOC, Topics, 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, ?, ALL