core-logic

niveauverleih 2020-03-02T22:40:08.002200Z

I am looking for a coherent intro to core.logic and also for an up-to-date reference.

2020-03-05T12:00:32.002600Z

The reasoned schemer is probably the best reference — it’s almost directly applicable to core.logic; bar a few minor mostly syntactic differences.

niveauverleih 2020-03-05T13:12:12.002800Z

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