Implementations of the Kanren family of relational programming languages, in Clojure.