• “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. […]
• Mozart is an ideal platform for both general-purpose distributed applications as well as for hard problems requiring sophisticated optimization and inferencing abilities.”

http://www.mozart-oz.org/