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...

Thank you! I am glad you liked the book!