Reddit mentions of The Reasoned Schemer (The MIT Press)

The Reasoned Schemer by Friedman, Byrd and Kiselyov

I received this book from Amazon yesterday and the format is rather interesting - it forces you to put your new knowledge into words, which requires much more than having just read a definition.

However, I wouldn't recommend it to anyone who has any significant experience in programming (I would suggest Godel, Escher, Bach or SICP instead).

Have you read the other two books (The Seasoned Schemer and The Reasoned Schemer)? I'd like to know how they compare with the first one.

edit: I just re-read the book and, actually, I recommend it to everyone, it's awesome :)

Kanren, and especially miniKanren is really a family of languages, so there's no one answer to that. But hinting that Kanren lacks "some connection with logic" is a bit odd, since Kanren is self-consciously a family of logic programming languages, and a direct comparison with Prolog can be found here. Again, as Dr. Byrd also points out, the question is somewhat complicated by the need to be clear, both about what variant of Prolog we're referring to, and what variant of Kanren. For example, there are Kanrens that do Constraint Logic Programming, nominal logic programming, probabilistic programming, and guided search.

Of course, you're correct that Kanren is implemented as a nondeterministic functional language. That's very much part of the point (the back of The Reasoned Schemer opens with "The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally.") The details of the relationships between "nondeterministic functional language" and "logic programming language" are spelled out in Purely Functional Lazy Non-deterministic Programming and HANSEI as a Declarative Logic Programming Language.