An Inference Engine based on Propositional Calculus written in Common Lispgithub.com2 points·lerax··0 commentsOpen articleSaveView on HN