L’unification, ou équation d’arbres est fondamentale en Intelligence artificielle. Cet article propose une page permettant de : saisir des termes : constantes, variables et prédicats des clauses, unifiant des variables et des termes suivant les substitutions précédentes. des substitutions des produits de substitutions avec éventuellement un terme final. Et évaluer le résultat. Les résultats sont … Lire la suite de Unification