An Inference Engine based on Propositional Calculus written in Common Lisp | Heykuki News