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.