
This is the version i read:
https://www.abebooks.com/9780023397639/Little-LISPer-Third-E...
https://en.wikipedia.org/wiki/MiniKanren
There's a great book in the same series as the "Little Lisper"/"Little Schemer" books called "The Reasoned Schemer" that uses MiniKanren with Scheme.
If you want your mind blown, read "The Little Schemer" (or the original "The Little Lisper," or another of its variants). I particularly like the section near the end where the Y combinator is (secretly) described. The goal of that book is to "teach you to think recursively." It's not about writing recursive functions at work, but about appreciating the self-referential properties of algorithms.
[1]: https://www.youtube.com/playlist?list=PL8FE88AA54363BC46
Personally, I put The Little Lisper/Schemer on the “Greatest Programming Books Ever” shelf, next to The C Programming Language. I found the style captivating — and insidious. The first time I read it, I thought I was learning a programming language, but it subliminally reprogrammed my brain to see recursion everywhere.
