ryukinix/inference-engine

An Inference Engine based on Propositional Calculus written in Common Lisp

4 best points · 3 comments · 1 Hacker News post · 54 GitHub stars · View on GitHub

Hacker News discussions

• Truth Table Printer Written in Common Lisp (4 points, 3 comments, by lerax, 2017-01-13)