Horn-Klausel-Regel-Engine

Vorwärtsverkettung von Fakten im Prolog-Stil und Horn-Regeln; Ziele abfragen und Ableitungsspuren untersuchen.

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.