This is one of the rare texts that integrates three key ideas in the study of logic programming: the logic that gives logic programs their distinct character; the practice of efficiently employing the logic in programming; and the practical use of logic programming on computers.

The book begins with a brief and self-contained explanation of the logic underlying Prolog programming, followed by a gentle introduction to logic programming using several straightforward examples. This prompts a debate on how to create programs in a way that makes the process of drawing solutions from them as effective as feasible. The methods are demonstrated using real-world applications, and the book's concluding section illustrates how logic programming can be implemented effectively.

It contains the source code for a compact yet thorough Pascal implementation of Prolog. The implementation, is accessible online and is capable of running all the programs described in the book.