I recently started going through the book Thinking as Computation: A First Course by Hector Levesque, and I am finding it rather nice. It goes slow, but I like slow. It uses Prolog as the computational implementation of the thesis that presents thinking as computation.

https://mitpress.mit.edu/books/thinking-computation

Other books I have but haven't gone through yet are Adventure in Prolog and The Art of Prolog.

I liked "The Art of Prolog" for learning. And then if you dive deeper, "The Craft of Prolog". I'm curiously amused that the price for used versions on Amazon is so high.

https://mitpress.mit.edu/books/art-prolog-second-edition

https://isbn.nu/0262192500

https://mitpress.mit.edu/books/craft-prolog

https://isbn.nu/9780262512275

The blog post refers to this:

https://www.metalevel.at/prolog

For starting out I'd recommend Clause and Effect by Clocksin. It's a very short but practical introduction with really good examples along the way (including symbolic differentiation and FFT).