persistent logic database for clojure core.logic