narrowing

adj 1: becoming gradually narrower; "long tapering fingers";

"trousers with tapered legs" [syn: {tapered}, {tapering}]

2: (of circumstances) tending to constrict freedom [syn: {constricting},

{constrictive}]

n 1: an instance of becoming narrow

2: a decrease in width [ant: {widening}]

3: the act of making something narrower [ant: {widening}]

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.