An Inference Engine based on Propositional Calculus written in Common Lispgithub.com/ryukinix2 pointslerax8 years ago