Mozart Mozart is an interactive distributed implementation of Oz. Oz is a concurrent constraint programming language designed for applications that require complex symbolic computations, organization into multiple agents, and soft real-time control. It is based on a new computation model providing a uniform foundation for higher-order functional programming, constraint logic programming, and concurrent objects with multiple inheritance. From functional languages Oz inherits full compositionality, and from logic languages Oz inherits logic variables and constraints (including feature and finite domain constraints). Search in Oz is encapsulated (no backtracking) and includes one, best and all solution strategies. Mozart features include a programming interface based on GNU Emacs, interactive development tools, an object-oriented interface to Tcl/Tk, powerful interoperability features (sockets, C, C++), an incremental compiler, a garbage collector, and support for stand-alone applications. Performance is competitive with commercial Prolog and Lisp systems.

Current Version:   1.0.1 License Type:   Free, see details at http://www.mozart-oz.org/home/LICENSE.html

Home Site: http://www.mozart-oz.org/ Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   Yes Other Packages:   No Targeted Platforms: Solaris/Sparc+x86, Irix, Linux/x86, FreeBSD, Windows NT Software/Hardware Requirements: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers