See Sussman's talk at Strange Loop 2011: "We Really Don't Know How To Compute!" (http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute http://ww

See Sussman's talk at Strange Loop 2011: "We Really Don't Know How To Compute!" (http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute http://www.infoq.com/presentations/We-Really-Dont-Know-How-T...) Thomas Kristensen is working on implementing the propagator in Clojure (https://github.com/tgk/propaganda https://github.com/tgk/propaganda) -- you can see his ClojureConj talk here: https://www.youtube.com/watch?v=JXOOO9MLvhs https://www.youtube.com/watch?v=JXOOO9MLvhs