Yes, this is the book and I guess I am replying to the author:) Thank you Nils M Holm. This book is very much on my taste, it contains exactly what it should and nothing more and nothing less. I guess some would prefer the Reasoned Schemer style but I find the dialogue a bit distracting for the first book.

I ordered a paperback from lulu and it was a great decision, I use a marker and write on the margins. It is absolutely worth it.

https://www.lulu.com/en/us/shop/nils-m-holm/logic-programmin...

The whole series is very high grade. I don't appreciate the dialogue format all the time (too fine grained and a bit distracting after the first book). But high density of knowledge here.

The book is indeed http://t3x.org/amk/

I ordered a paperback at:

https://www.lulu.com/en/us/shop/nils-m-holm/logic-programmin... in-scheme/paperback/product-1z82nmng.html?page=1&pageSize=4

It was absolutely worth it.