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

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

Operating in show hn launch, XAI-style recursive FOL logic tree engine with GUI (2002) operates.

Profile

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

The company sits in the show hn launch segment, where it competes on its core product or service.

Its current recorded stage is Show HN launch.

Website: TreeOfKnowledge.eu