Most general unifier


De DataFranca

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

most general unifier

a unifier of a set of literals such that any other unifier can be derived from it by substituting terms for its variables. Abbreviated MGU.


Source : UTexas Artificial Intelligence Vocabulary