Horn Clause Rule Engine

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.