The Mozart Programming System 2.0 for Mac was available to download from the developer's website when we last checked. We cannot confirm if there is a free download of this app available. The application belongs to System Tools.
This free software for Mac OS X is a product of Mozart Consortium 2013. According to the results of the Google Safe Browsing check, the developer's site is safe. Despite this, we recommend checking the downloaded files with any free antivirus software.
From the developer:
The Mozart Programming System combines ongoing research in programming language design and implementation, constraint logic programming, distributed computing, and human-computer interfaces. Mozart implements the Oz language and provides both expressive power and advanced functionality.
The PLDC Research Group will use Mozart 2 for future programming education and future research in programming language design and implementation.
You may want to check out more Mac applications, such as phone.systems, TinkerTool System or System-i DBcompare Lite, which might be related to The Mozart Programming System.