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.
