The Mozart Programming System is an open source implementation of the programming language 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.