5 ms·An Inference Engine based on Propositional Calculus written in Common Lisp2 points by lerax 9y ago