Algorithme d'unification
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
unification algorithm
an algorithm for finding a substitution of terms for variables in a set of predicate calculus literals that will make the literals the same.
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
