127 karma · joined September 25, 2009
William Byrd & Daniel Friedman wrote a book called the Reasoned Schemer, which walks through the implementation of a Prolog like logic language called MiniKanren, check out a recent presentation they gave where they show quite a few interesting examples and uses, http://2013.flatmap.no/danwill.html
I know this is not a definitive answer, but having a look at those resources may highlight some of the areas where logic programming can be very useful.
Here's the site, http://bucket.onfrst.com, we also have a market research survey, https://docs.google.com/spreadsheet/viewform?formkey=dFgzdVN...
The current site address is just a temporary spot, we're likely to change the branding and name as we continue to work on this. Also for those interested in statistics, and I assume HN is, we've got the git stats on our run, http://bucket.onfrst.com:8000
Thanks for any feedback!