http://vanemden.wordpress.com/2008/06/14/a-possible-future-history-of-logic-programming/ Observations, Reviews, and Essays Thu, 27 Aug 2009 21:34:00 +0000 http://wordpress.com/ hourly 1 http://vanemden.wordpress.com/2008/06/14/a-possible-future-history-of-logic-programming/#comment-31 Andre Vellino Mon, 16 Jun 2008 19:57:42 +0000 http://vanemden.wordpress.com/?p=22#comment-31 My beef with Senner's book is that he also fails to acknowledge the seminal role of Logic Programming's innovations as a term-rewriting system. As we know, it took years for the full power of the virtual machine to become entrenched in conventional sequential computers but with the advent of commodity parallel CPUs in the early 2000s, the importance of term-rewriting for parallel computation became evident well into the second decade of the 21st century. Innovations in automating the compilation parallel programs that had begun to bear fruit in the 1990's with Parlog, Concurrent Constraint Logic Programming etc. (research that was arrested in it's tracks because of the end of funding for the "5th Generation" computing project) found new life when the limitations Google's MapReduce and other similar methods for distributed computing became apparent. My beef with Senner’s book is that he also fails to acknowledge the seminal role of Logic Programming’s innovations as a term-rewriting system. As we know, it took years for the full power of the virtual machine to become entrenched in conventional sequential computers but with the advent of commodity parallel CPUs in the early 2000s, the importance of term-rewriting for parallel computation became evident well into the second decade of the 21st century. Innovations in automating the compilation parallel programs that had begun to bear fruit in the 1990’s with Parlog, Concurrent Constraint Logic Programming etc. (research that was arrested in it’s tracks because of the end of funding for the “5th Generation” computing project) found new life when the limitations Google’s MapReduce and other similar methods for distributed computing became apparent.

]]>