Clojure's core.logic is based on minikanren, so that fits the bill.