Clojure Tools for Symbolic Artificial Intelligence - Saul Johnson