3 ms·Clojure's core.logic is based on minikanren, so that fits the bill.by EricRiese 9mo agoClojure's core.logic is based on minikanren, so that fits the bill.