An Inference Engine based on Propositional Calculus written in Common Lisp
common-lisp propositional-logic truth-table inference-engine propositional-calculus inference-rules lisp-inference
-
Updated
Jul 5, 2025 - Common Lisp