Catégorie : Logique des prédicats

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

Unificateur cyclique

Cet article présente une nouvelle version de l’unificateur, permettant de traiter des clauses partagées et/ou cycliques.

Les graphes d’unifications produits peuvent également être cycliques.

CHARGEMENT DE LA PAGE

Un clic sur la bulle emmène vers la page d’expérimentation des graphes d’unification cycliques, avec les options d’occur-check et de levée d’exception sur le premier échec.

Exemple de graphe d’unification cyclique
Page d’expérimentation
Cyclonium
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)
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.

Page d’expérimentations

Documentation

Graphe unificateurTélécharger