==== mozart/Oz ====

  * "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/