D.1.2 Backward Chaining and Prolog

• The Art of Prolog , by Leon Sterling and Ehud Shapiro (MIT Press).
• The Craft of Prolog , by Richard A. O'Keefe (MIT Press). This is a more advanced text.

KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011