Mozart Programming System

 Mozart is an advanced development platform for intelligent, distributed
 applications. It is based on the Oz language, which supports declarative
 programming, object-oriented programming, constraint programming, and
 concurrency as part of a coherent whole. For distribution, Mozart
 provides a true network transparent implementation with support for
 network awareness, openness, and fault tolerance. Security is upcoming.
 Mozart is an ideal platform for both general-purpose distributed
 applications as well as for hard problems requiring sophisticated
 optimization and inferencing abilities.