- The Art of Prolog, 2nd Ed. - Leon Sterling & Ehud Shapiro - 1994 - Advanced Prolog techniques; the standard reference.
- Programming in Prolog: Using the ISO Standard - William Clocksin & Christopher Mellish - 2003 - The classic Prolog textbook; ISO standard.
- The Craft of Prolog - Richard O'Keefe - 2009 - Using Prolog effectively; practical guidance beyond the basics.
- The Practice of Prolog - Leon Sterling (ed.) - 1990 - Designing and organizing larger Prolog programs; real-world projects.