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) - 22 Dec 2009