La page d’expérimentation est une ressource pour la programmation. Le code de l’unificateur est simplifié et basé sur la bibliothèque de traitement de graphes de Cyclonium.
Catégories
Graphes unificateurs
Méthode d’unification : l’idée pour unifier deux expressions est simplement de construire le graphe d’unification en associant les nœuds correspondants des deux expressions dans un parcours simultané. Lors de la création d’un nœud de ce graphe, les éléments face à face sont confrontés…