The Art of Prolog

Oh, we used the Art of Prolog in my sw engineering course. It's a good book, although it doesn't cover the newer features of Prolog interpreters, like Constraint Logic Programming, IIRC.

On the topic of pretty covers, I love the covers of these two books a lot: 1. The Art of the Metaobject Protocol (https://mitpress.mit.edu/books/art-metaobject-protocol) 2. The Art of Prolog (https://www.amazon.com/Art-Prolog-Second-Programming-Techniq... (https://www.amazon.com/Art-Prolog-Second-Programming-Techniques/dp/B01NH0AJJK)) but haven't been able to find any other motivation to buy them. Also I have never printed the Common Lisp Quick Reference(http://clqr.boundp.org/clqr-a4-booklet-all.pdf) because I always imagine it having a really pretty cover, and everything I try just falls short.

Art of Prolog was over of the best books I've read. As Prolog itself is one of my favorite languages. I wish there were more of both.

I love Paradigms of Artificial Intelligence by Peter Norvig much more than AIMA, which I found excessively encyclopedic and shallow. While some will argue it is dated, I think it presents many timeless ideas that will get in vogue soon with little tweaks to their inference schemes. Same for The Art of Prolog.