a contextualized first-order logic knowledge base with a justified-inference reasoning engine
clojure first-order-logic knowledge-base backward-chaining forward-chaining gofai symbolic-reasoning well-formed-formulas doxastic-logic first-class-contexts non-monotonic-inference selectional-restriction justification-based-truth-maintenance first-class-non-atomic-terms
-
Updated
Sep 23, 2026 - Clojure