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