Christopher S. Mellish Libri

Here is the book that helped popularize Prolog by making it accessible to a wide range of readers. This edition is an excellent reference for anyone who wants to study and use Prolog. The book concentrates on teaching the "core" Prolog, and all examples conform to this standard and will run on the most widely-used Prolog implementations.

The book serves as a comprehensive and definitive introduction to programming in Prolog, originally published in 1981. Its enduring relevance stems from a tutorial approach that effectively addresses general programming applications, making it a valuable resource even amidst the proliferation of other Prolog textbooks.