Mon premier blog

The Craft of Prolog Richard O'Keefe
Publisher: MIT

Hacking your program is no substitute for understanding your problem. For example, see Richard O'Keefe's book The Craft of Prolog or Sterling and Shapiro's The Art of Prolog. Two years ago, we were intimate, but time has eroded our bonds, and she is but a shadow flitting through dark synaptical corridors. I have an old book (1994) on Prolog called The Craft of Prolog written by Richard A. Concurrent logic programming has made this easier. The art of Prolog ( amazon); The craft of Prolog (amazon); A prolog in haskell (http://propella.blogspot.com/2009/04/prolog-in-haskell.html), and the referenced previous implementation http://darcs.haskell.org/hugs98/demos/prolog/. There are nice discussions of both laziness and continuation passing style in the AI programming textbooks: O'Keefe's Craft of Prolog, and Norvig's AI Programming in Lisp. On my walk home today I felt an irresistible urge to recall Prolog. Richard O'Keefe, “The Craft of Prolog (Logic Programming)” The MIT Press | 1990 | ISBN: 0262150395 | 411 pages | Djvu | 2 mb. One of the crucial 'values' of the book is that "Elegance in Not Optional". Concurrent logic programming has no search.