Cask for Mozart

The Mozart Programming System is an advanced development platform for
intelligent, distributed applications. Mozart is based on the Oz
language, which supports declarative programming, object-oriented
programming, constraint programming, and concurrency as part of a
coherent whole.