An attempt to write the functionality of Prolog in Clojure.