most general unifier

from The Free On-line Dictionary of Computing (8 July 2008)
most general unifier

   <logic> If U is the most general {unifier} of a set of
   expressions then any other unifier, V, can be expressed as V =
   UW, where W is another substitution.

   See also {unification}.

   (2000-03-07)
antiflux / dictionary / most general unifier
[email protected]