Prolog Interpreter, written in Clojure.