Folks interested in using logic programming for building distributed systems might be interested in some work my research group is doing: we've built Hadoop, HD

Folks interested in using logic programming for building distributed systems might be interested in some work my research group is doing: we've built Hadoop, HDFS, and Paxos in a high-level distributed variant of Datalog, which is another logic programming language in the same family as Prolog. http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-113.pdf http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-11... http://neilconway.org/docs/netdb2009_paxos.pdf http://neilconway.org/docs/netdb2009_paxos.pdf