I assume @ComNik is referring to core.schema and core.logic[1] here, respectively? (if not, sorry @ComNik)

1: https://clojure.github.io/core.logic/