Code conversations in Clojure regarding the application of pure reasoning algorithms. - View it on GitHub