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
Cyclonium

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *