AquaCurry - auch wenn ich selber Haskell und seinen Verwandten wohl den Rücken gekehrt habe, so ganz kann ich nicht davon lassen. Curry ist ein weiterer Vertreter aus dem weiten Feld der funktionalen Sprache, allerdings eine die gleichzeitig auch im Bereich der Logik-basierten Sprachen vertreten ist (also dem Bereich, in dem häufig Prolog und Verwandte zu finden sind). Und es gibt eine GUI-Umgebung für den Mac. Ausserdem läuft das Projekt an der Uni Münster, und das Teil heisst Münster Curry Compiler. Da muss ich natürlich reingucken.