Concurrent Programming Constructs and First-Class Logic Engines (cs.nmsu.edu)

My kind of HN article! Food for thought for my own concurrent logic engine. Thanks for posting this.

I hadn't been aware of Tarau's work:

http://www.cse.unt.edu/~tarau/

The real treasure looks like being his theory of isomorphisms:

http://logic.csci.unt.edu/tarau/research/2010/ISO.pdf

I haven't read it all yet, but it reminds me a bit of the isomorphic kernel described here:

http://www.informatik.uni-marburg.de/~rendel/unparse/rendel1...

Discusion on LtU here:

http://lambda-the-ultimate.org/node/4191

Sometimes wading through the noise on HN is worth it when gems like this turn up.

Mik