Logic Programming Books

Books I recommend on Prolog are:

• Prolog Programming for Artificial Intelligence, 3rd ed, by Ivan Bratko, is an excellent starting point. It not only gives an introduction to Prolog, but it also provides advanced examples of fully-developed, practical, systems that continue to provide useful information to advanced Prolog programmers.
• The Practice of Prolog, edited by Shapiro, to see how complete mission-critical systems were implemented in Prolog.
• As an alternative introductory book read the Art of Prolog by Sterling and Shapiro, and as a third book read the Craft of Prolog by Richard A. O'Keefe.
• For DCGs, A Grammatical View of Logic Programming, by Deransart and Maluszynski, takes the novel approach of describing a declarative language (Prolog) as a definite language, so as to perform grammatical transformations to prove certain properties.