This contains examples from the famous LISP/scheme book called "The Reasoned Schemer" which inspired core.logic implementation. The book is one of the best tutorial available to learn core.logic. However the examples are in scheme. Some of the same examples from the book have been used and translated into Clojure here.