The Art of Prolog
by Leon S. Sterling, Ehud Y. Shapiro
Publisher: The MIT Press 1994
Number of pages: 553
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.
Home page url
Download or read it online for free here:
by Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Troncon
This book shows solutions to problems that were in the first 10 Prolog Programming Contests. The solutions could have been constructed during the contest under time pressure, and so you will find many solutions using the generate and test strategy.
by Michael Spivey - Prentice Hall
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs and implementation techniques. It covers logical theory, programming, and the structure of a simple Prolog implementation.
by Paul Brna
These notes are designed for undergraduate students who have some programming experience. The function of the text is to provide students studying Artificial Intelligence with an intensive introduction to Prolog, there is a slight bias towards AI.
by Roman Bartak
Prolog is a programming language with precise operational meaning that borrows its basic concepts from logic programming. This text is an introduction to logic programming and Prolog for beginners but it also covers some advanced topics.