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: 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.
(1702 views)
Book cover: Prolog Experiments in Discrete Mathematics, Logic, and ComputabilityProlog Experiments in Discrete Mathematics, Logic, and Computability
by - Portland State University
Programming experiments designed to help learning of discrete mathematics, logic, and computability. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work.
(14222 views)
Book cover: Adventure in PrologAdventure in Prolog
by - Springer
This book takes a pragmatic, rather than theoretical, approach to the language and is designed for programmers interested in adding this powerful language to their bag of tools. Much of the book is built around the writing of a short adventure game.
(13204 views)
Book cover: Simply Logical: Intelligent Reasoning by ExampleSimply Logical: Intelligent Reasoning by Example
by - John Wiley
An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it.
(3413 views)