Show HN: XAI-style recursive FOL logic tree engine with GUI (2002)

  • Posted 2 hours ago by JAnicaTZ
  • 1 points
https://TreeOfKnowledge.eu
A recursive logic-tree engine for first-order logic, originally built in 2002 as part of a mathematical logic diploma project. It uses explicit AST/NNF decomposition with De Morgan transformations and a GUI for step-by-step, explainable (XAI-style) reasoning. Includes propositional logic, CNF/DNF minimization, and FOL proof search.

Source code: https://github.com/JAnicaTZ/TreeOfKnowledge

0 comments