A Clojure library exploring the application of pure reasoning algorithms. - View it on GitHub