I am looking for a coherent intro to core.logic and also for an up-to-date reference.
The reasoned schemer is probably the best reference — it’s almost directly applicable to core.logic; bar a few minor mostly syntactic differences.
Thank you, Rick! I had a look at it but found it too implicit. I'm a perfect customer for the dummies series of books. Luckily Martin Trojer put the clojure code for the little schemer on github: https://github.com/martintrojer/reasoned-schemer-core.logic/blob/master/src/reasoned-schemer/ch1.clj