Algorithme d'unification


De DataFranca
Révision datée du 21 avril 2021 à 16:50 par Pitpitt (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

Algorithme qui permet de comparer deux littéraux pour déterminer s'il existe un ensemble de substitutions qui les rend identiques.

Français

algorithme d'unification

Anglais

unification algorithm


Source : Le grand dictionnaire terminologique