« Algorithme d'unification » : différence entre les versions
m (Arielle H a déplacé la page Unification algorithm vers Algorithme d'unification) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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 == | == Français == | ||
'''algorithme d'unification''' | |||
== Anglais == | == Anglais == | ||
'''unification algorithm''' | '''unification algorithm''' | ||
<small> | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8398949 Source : Le grand dictionnaire terminologique ] | |||
[[Catégorie:Révision]] | |||
[ | |||
Version du 7 avril 2021 à 23:58
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
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
