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

(TreeOfKnowledge.eu) by JAnicaTZ | Jan 13, 2026 | 0 comments on HN