Hitherto, knowledge of how to use Prolog for serious programming has largely been communicated by word of mouth.
This textbook sets down and explains for the first time in an accessible form the deeper principles and techniques of Prolog programming. The book is excellent for not only conveying what Prolog is but also explaining how it should be used.
