The Craft of Prolog Richard O'Keefe
Publisher: MIT

For a more programmer-oriented book on Prolog, I highly recommend Richard A. 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/. Reading the comp.ai.prolog news group, I noticed the prolog FAQ did not make any references to any advance prolog programming websites. Concurrent logic programming has made this easier. Does anyone have any Prolog book recommendations? This post was just the tip of the iceberg. Concurrent logic programming has no search. For a good discussion of meta-interpreters in Prolog the reader should turn to The Craft of Prolog by Richard O'Keefe. On my walk home today I felt an irresistible urge to recall Prolog. He doesn't focus on the academic approach, but beautifully shows how to write clear, efficient, elegant code in Prolog. Asin 0262512270 The Craft of Prolog (Logic Programming) - The MIT Press - ecs4.com 94f61dd10aa97de11ede48e3d3c1cb45. Two years ago, we were intimate, but time has eroded our bonds, and she is but a shadow flitting through dark synaptical corridors. O'Keefe's “The Craft of Prolog”. For example, see Richard O'Keefe's book The Craft of Prolog or Sterling and Shapiro's The Art of Prolog. > > The Art of Prolog from Shapiro etc, was really useful for me.