most general unifier

1 definition found

most general unifier - Free On-line Dictionary of Computing (26 May 2007) :

  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)