The Mozart Programming System is an opensource 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.
Strasheela is a constraint-based music composition system. The user defines music theories by sets of compositional rules and the system creates music which complies with these theories. User-interface is the programming language Oz.