The Reasoned Schemer

This repo contains the exercises worked through by the CS Cabal during our read-through of The Reasoned Schemer.

The exercises are done in Clojure using the core.logic library.

Notes

Note that Clojure core.logic varies a bit from MiniKanren

#s and #u are s# and u#.
The first arg to run* should be a vector of symbols, i.e. use (run* [q] ...) instead of (run* q ...).
There is no conj2. run and fresh can take multiple clauses that are joined by conjunction (AND).
There is no disj2. Use conde instead. conde represents the disjunction (OR) of its clauses. Each clause in conde may in turn be a vector of constraints, joined by conjunction (AND).
Instead of Scheme quasiquotes, use list and quote literal symbols, e.g. instead of `(foo ,q), use (list 'foo q).