> "The Art of Prolog" and "The Craft of Prolog" were also two of the better programming books I have read in my life.
IMHO, The Art of Prolog is along with Concepts, Techniques, and Models of Computer Programming, Paradigms of AI Programming, and Structure and Interpretation of Computer Programs the canon of dynamically typed programming. The Craft of Prolog is also exceptional but has some chapters that are too specific to programming in old Prolog systems and thus outdated.
Lots of Prolog ideas live in answer set programming and Datalog. The latter is fantastic to build state-of-the-art static analyzers [1].