English Dictionary
purifier
n : an apparatus for removing impurities
English Computing Dictionary
unifier
The unifier of a set of expressions is a set of substitutions
of terms for variables such that the expressions are all
equal.
See also {most general unifier}, {unification}.
(1994-12-06)