GitHub repository: ryukinix/lisp-inference
Primary language: Common Lisp
Description: An Inference Engine based on Propositional Calculus written in Common Lisp