Moteur de règles de clause Horn

Chaînage en avant sur les faits de style Prolog et les règles Horn ; interroger les objectifs et inspecter les traces de dérivation.

About this tool

Forward-chaining on Horn clauses (small Prolog-style facts and rules). Query goals and inspect the derivation trace.

No functions, arithmetic, or negation — simplified expert-system demo.