The Mozart Programming System is an open source implementation of the programminglanguage Oz 3.
Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole.