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: prolog :- tutorialprolog :- tutorial
by - California State Polytechnic University, Pomona
Prolog is a logical and a declarative programming language. This tutorial is intended to help learn the essential, basic concepts of Prolog. The sample programs have been chosen to promote the use of Prolog in an artificial intelligence course.
(4596 views)
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.
(11935 views)
Book cover: Learn Prolog Now!Learn Prolog Now!
by - College Publications
One of the most popular introductions to Prolog, an introduction prized for its clarity and down-to-earth approach. It is widely used as a textbook at university departments around the world, and even more widely used for self study.
(14429 views)
Book cover: Prolog TechniquesProlog Techniques
by - BookBoon
This is the first of two volumes by the author on the programming language Prolog and its applications. In the first volume you can read about the accumulator technique, difference lists, program manipulations and exploratory code development.
(15200 views)