Catégories
Graphes maths Graphes programmation Logique des prédicats Mathématiques Programmation Unification

Graphes unificateurs

graphe unificateur de f(X, g(X), h) = f(g(g(B,Z), a), g(g(X, Z)), a)
graphe unificateur de f(X, g(X), h) = f(g(g(B,Z), a), g(g(X, Z)), a)

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.

Documentation