Motor de reglas de cláusulas de bocina
Encadenamiento hacia adelante sobre hechos estilo Prolog y reglas de Horn; consultar objetivos e inspeccionar seguimientos de derivación.
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.