Hey, Mozart and Oz are also available for OS X. Ok, not directly for OS X, but only as normal Unix ports for OS X - the GUI continues to be based on GTK and thus on X11. But at least you can run it on the Mac. There's also an interesting book about programming concepts, which describes them using Mozart and Oz. Here's the original article.