lisp-inference
lisp-inference copied to clipboard
Refactor lisp-inference system
It's a little cumbersome, specially the truth-table module.
Beyond that I need to fix some misconceptions about handle multiple propositions and conjunctions. Mainly related to https://github.com/ryukinix/lisp-inference/blob/master/src/inferences.lisp