> Coincidentally, on Friday I pulled my dusty 1987 copies of Sterling & Shapiro and Bratko off the bookshelf for the first time in literally decades, and built myself a copy of SWI so that I could have a tinker with it for something where I think it may be a good fit.

If you care for recommendations to complement those two, O'Keefe's The craft of Prolog is my favorite Prolog book.