I always drop in on any Prolog recommendations and mention O'Keefe's highly idiosyncratic but wonderful "The craft of Prolog": https://mitpress.mit.edu/books/c

I always drop in on any Prolog recommendations and mention O'Keefe's highly idiosyncratic but wonderful "The craft of Prolog": https://mitpress.mit.edu/books/craft-prolog https://mitpress.mit.edu/books/craft-prolog .