Unification algorithm


De DataFranca

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.


Source : Utexas Ai vocabulary

Contributeurs : admin