Here is the book that helped popularize Prolog by making it accessible to a wide range of readers. This edition includes much new material and improved presentation. It will serve as an invaluable reference work for anyone who wants to study and use Prolog as a practical programming language.