did anybody work through the second edition of the reasoned schemer with core.logic? from reading the preface it seems that they changed quite lot in 2018.
Book is named Reasoned "Schemer" but actually use "Clojure"?
Reasoned "Schemer"