Very nice work!
Reminds me of "The Reasoned Schemer" by Daniel Friedman.
Very nice indeed! Fun to see this implementation in Clojure direct from SICP. Someday I hope somebody completes SICP in Clojure. AFAICT it's been attempted many times but none have finished.
Btw, miniKanren from Reasoned Schemer has long been available in Clojure as core.logic (with some minor differences). https://github.com/clojure/core.logic