@jakintosh I just read your july 10th entry on your blog, and it got me thinking. Have you ever heard about the various parallel logic programming experiments? I think that it might be of interest here: http://www.call-with-current-continuation.org/articles/the-joy-of-concurrent-logic-programming.txt