资料来源 : pyDict

合一,合一者

资料来源 : Webster's Revised Unabridged Dictionary (1913)

Unifier \U"ni*fi`er\, n.
   One who, or that which, unifies; as, a natural law is a
   unifier of phenomena.

资料来源 : Free On-Line Dictionary of Computing

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)