Unificateur le plus général

Définition

Un unificateur d'un ensemble de littéraux tel que tout autre unificateur peut en être dérivé en substituant des termes à ses variables.

Français

unificateur le plus général

Anglais

most general unifier

MGU

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary