sb

Based on the previous book and my fond memories of reading "How to Solve it"

From HN advice in previous years I read The Tibetan Book on Living and Dying, which I can heartily recommend, too.

one of the best texts around is "the art of prolog, advanced programming techniques" 2nd edition

I second "Programming Language Pragmatics" it is a fantastic book

I have started reading this only recently and have to say that I find the approach and idea excellent.

This is one of my favorite books concerning the "build-up" of mathematics

AFAICT now it's another gem from Polya.

the introduction with Pascal's triangle and some of Polya' legendary problem solving insights (paraphrased from my memory: "you are on to something once you find a pattern") are definitely highlights in this book.

there is another recommendable text "programming prolog for artifical intelligence" by ivan bratko