Algorithme d'unification

Révision datée du 7 avril 2021 à 22:58 par Arielle H (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

Récupérée de « https://datafranca.org/wiki/index.php?title=Algorithme_d%27unification&oldid=49957 »

Révision

Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki