Recently I’ve been musing about the computer languages that will take us into the twenty first century. One candidate I’ve been watching for a few years is Mozart/Oz.
Mozart/Oz is a dynamic object oriented language… stop yawning at the back there… and what separates it from the rest of the pack is the built in constraint based and logic programming. It is built from the ground up to support massive concurrency inside a computer as well as between computers.
Update: looks like erlang is pretty solidly in Mozart/Oz territory too.