The Mozart Programming System combines ongoing research in programming language design and implementation, constraint logic programming, distributed computing, and human-computer interfaces. Mozart implements the Oz language and provides both expressive power and advanced functionality.
The PLDC Research Group at UCL is proud to announce the first release of Mozart
The first release of Mozart 2 does not provide support for constraints or distributed programming. We plan for successive releases to support constraint programming with an interface to the Gecode system, and to support distributed programming with a peer-to-peer transactional storage and extensions for network-transparent and synchronization-free programming.
Previous versions of Mozart, in particular Mozart 1.3.2 and Mozart 1.4.0, remain available to download. They will be deprecated when Mozart 2 is released with constraint and distribution support.
Download a binary release to start using Mozart.
Learn by exploring the documentation.
Source code is open and publicly available.