
Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.
Read instantly on your browser with Kindle for Web.
Using your mobile phone camera - scan the code below and download the Kindle app.
The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming) Paperback – Import, January 1, 1994
Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement—a systematic way of constructing Prolog programs developed by Leon Sterling.
All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.
- Print length552 pages
- LanguageEnglish
- PublisherThe MIT Press
- Publication dateJanuary 1, 1994
- Dimensions8 x 1.25 x 9 inches
- ISBN-100262691639
- ISBN-13978-0262691635
Book recommendations, author interviews, editors' picks, and more. Read it now.
Customers who viewed this item also viewed
Editorial Reviews
About the Author
Product details
- Publisher : The MIT Press; 2Rev Ed edition (January 1, 1994)
- Language : English
- Paperback : 552 pages
- ISBN-10 : 0262691639
- ISBN-13 : 978-0262691635
- Item Weight : 2.14 pounds
- Dimensions : 8 x 1.25 x 9 inches
- Best Sellers Rank: #4,262,326 in Books (See Top 100 in Books)
- #18 in Prolog Programming
- #287,360 in Reference (Books)
- Customer Reviews:
About the author

Discover more of the author’s books, see similar authors, read book recommendations and more.
Customer reviews
Customer Reviews, including Product Star Ratings help customers to learn more about the product and decide whether it is the right product for them.
To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Instead, our system considers things like how recent a review is and if the reviewer bought the item on Amazon. It also analyzed reviews to verify trustworthiness.
Learn more how customers reviews work on AmazonTop reviews from the United States
There was a problem filtering reviews. Please reload the page.
- Reviewed in the United States on April 1, 2014This is a great book; very clear writing and descriptions. To be honest, I haven't given Prolog, or this book, the time and effort that it deserves - whenever I need to quickly knock a script together I keep falling back to my imperative tendencies, frustrated but knowing that there is likely to be a more elegant declarative solution if I just persevered. I would love to have the time to sit down and methodically work through this book. I believe that I would gain a lot from doing so. Instead I've usually dipped in, late at night when half asleep, to admire the elegance of declarative programming - but this has helped me keep the faith that programming can be an elegant and thoughtful exercise.
One day I will find the time to study and ponder Sterling's wonderful work (and then I will rewrite this review with insightful comments and witty rejoinders).
- Reviewed in the United States on December 20, 2006Admittedly, this one tends to be a bit pricey. But, the content is pure gold for any programmer. Nowhere is the Prolog paradigm better conveyed than here. And, it is of little value to you if you attempt to learn prolog with a mindset of some other language. Prolog is unique and demands a unique way of looking at computer programming in general. It is dated a bit in that it does not cover all the latest developments in Prolog/AI research but no other Prolog books provide the foundational understanding that it does. Get this one for a solid foundation and then build on it with others. See my listmania list of AI Language books for suggestions of followup titles.
- Reviewed in the United States on February 15, 2005This, to me, is one of the 4 best books on computer programming. Unfortunately, it is hard. Not because the book is poorly written - it is like a wonderful story, but because understanding how to think declaratively after being taught something like C or Java is like someone giving you a pair of wings when you're a mudfish.
Thinking declaratively changes how you think about problems and how you write code. It's a career changing experience. This book leads the way.
Top 4:
* Structure and Interpretation of Computer Programs (Sussman, Abelson)
* The Art of Prolog by Sterling/Shapiro
* Introduction to Algorithms by Cormen, etc.
* Concepts, Techniques, and Models of Computer Programming by Van Roy and Haridi
- Reviewed in the United States on June 15, 2009"The Art of Prolog" tries to be top notch: Beautifully crafted book, clear partition in four parts (Logic Programs, The Prolog Language, Advanced Prolog Programming Techniques, Applications), and most programs are very beautiful.
Anyhow the authors often try to explain the trivial sometimes even the shallow, then they often do not spent much effort in explaining the difficult. There is an unusual large amount of references to other parts of this book: backward and worse forward. The choice to explain first logic programming and then Edinburgh Prolog as an approximate implementation is especially unfortunate in this respect: A high level of redundancy separated by an entire book part with references to each other.
Most of the small programs are very beautiful and true gems. Though the reader should not foul herself, the development of most programs did last many years of brilliant people. I did not get a feel for the difficulty of developing a reasonable prolog program on my own.
I really liked the Background section at the end of each chapter: A very sound view to the world around the book.
If you are somewhat knowledgeable of the usual AI and CS problems, you will have a lot of pleasure to the elegant approach a prolog program can have to tackle many of them.
- Reviewed in the United States on June 23, 2018Beware that this is the first edition, and there is a newer second edition published in 1994. The product description is for the second edition, which this book is not. The description is misleading and is being used to sell an old book. Accidental? Hard to believe. Get the second edition, not this one.
- Reviewed in the United States on October 31, 2011After Clocksin and Mellish this is the book to get. It develops the fundamental ideas of the core language, and, continuing in the same style of proper language use and applied computer science avoids being esoteric as it pushes the reader to higher order programming naturally. Recommended! Bought mine second hand in excellent condition. Shame it's not available on Kindle.
- Reviewed in the United States on May 4, 2016A book to learn logic programming
- Reviewed in the United States on May 29, 2015Book arrived perfectly.
Top reviews from other countries
- P. H. PayneReviewed in the United Kingdom on July 11, 2011
5.0 out of 5 stars In a different league
Prolog is a beautiful language, and this is a beautiful book.
Gentle, thorough, with many interesting examples, it emphasis
strongly Prolog as a Logic Programming Language. Gorgeous typography,
lovely cover.
I agree with O'Keefe: 'The Craft of Prolog' that it is a perfect second
book on Prolog after Clocksin and Mellish: 'Programming in Prolog' because it grounds
the knowledge gained whilst reading their less rigorous tutorial introduction.
I doubt you will be disappointed with your purchase.
- yohpReviewed in France on January 28, 2016
5.0 out of 5 stars proloooooog !!
happy(artofprolog, ':D').
happy(_, ':(').
whichbook(X,A) :- happy(X,A).
....
whichbook(X,':D').
So much fun and challenging way of programming !
You should learn it !
- cnicholas63Reviewed in the United Kingdom on February 1, 2017
5.0 out of 5 stars Good stuff
Great, the book is in good condition as described. Delivery was quicker than estimated, very happy.
- Matt AdamsonReviewed in the United Kingdom on March 14, 2015
5.0 out of 5 stars Five Stars
The bible for one of the leading AI based logic languages. Martial art in mathematical form.
- Amazon CustomerReviewed in Canada on October 17, 2015
2.0 out of 5 stars Don't buy this unless you're doing a graduate degree in CS.
Don't buy this book if you're objective is to learn how to program in Prolog. Instead use one of the many free resources on the web. I particularly like learnprolognow.org, but there are many, many options. My beef with this book is that it reads like a math journal article, not even a math text. I have a degree in mathematics so a math text style wouldn't be foreign, but this is more like a paper. Very few examples, lots of theoretical constructs. There are some exercises at the end of each chapter, but no solutions. I bought this for a CS course I'm taking, but ended up using other resources to achieve my learning goals.