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.