Logo

The Art of Prolog by Leon S. Sterling, Ehud Y. Shapiro

Large book cover: The Art of Prolog

The Art of Prolog
by

Publisher: The MIT Press
ISBN-13: 9780262193382
Number of pages: 553

Description:
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:
Download link
(30MB, PDF)

Similar books

Book cover: An Introduction to Logic Programming through PrologAn Introduction to Logic Programming through Prolog
by - 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.
(9896 views)
Book cover: Applications of PrologApplications of Prolog
by - BookBoon
In this volume the author discusses some areas where Prolog can be fruitfully employed. The book comprises four chapters: Enigma 1225: Rows are Columns; Blind Search; Informed Search; Text Processing. There are 54 exercises in this book.
(12631 views)
Book cover: The Power of PrologThe Power of Prolog
by - metalevel.at
The goal of this material is to bridge the gap between the great Prolog textbooks of the past and the language as it currently is, several decades after these books were written. You will see that many limitations of the past are no longer relevant.
(2012 views)
Book cover: Prolog Programming: A First CourseProlog Programming: A First Course
by
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.
(9374 views)