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.

(02 Feb 2009)

narrow, narrow-, narrow-angle glaucoma, narrowband < Prev | Next > narthex, narwal, narwhal, NAS

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums