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

most general unifier
     
         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)