ryukinix / lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp
40Updated 5 years ago

Related projects: