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 présentés sous forme textuelle re-interprétables par l’analyseur syntaxique intégré, et sous forme graphique interactive en format SVG.
Le parseur Javascript est écrit avec l’aide de la biblothèque http://pegjs.org/
Les graphes sont générés en SVG par Cyclonium.
La méthode de calcul est inspirée de « La méthode Robinson » décrite dans Wikipédia à la page https://fr.wikipedia.org/wiki/Unification.