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
Mar 13, 2019 - Common Lisp
An Inference Engine based on Propositional Calculus written in Common Lisp
Add a description, image, and links to the lisp-inference topic page so that developers can more easily learn about it.
To associate your repository with the lisp-inference topic, visit your repo's landing page and select "manage topics."