Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full glossary of the technical terms and self-assessment exercises.
Good introduction to Prolog. The title did lead me to believe that the book would cover how to do logic proofs with Prolog which it does not cover but it does teach you the basics of using Prolog and how to solve programming problems with it. I really like the way that loops and recursion are presented, along with how evaluations are handled (spoiler only is/2 can be used to evaluate).