The Oz 1.1 Programming System

  • Main Home Page

  • Mozart

  • Survey

  • Documentation

  • DFKI Oz 1.1

  • If you can read this, your browser provides insufficient support for style sheets. The visual presentation of this document will suffer.


    The successor of DFKI Oz 1 is Mozart. Mozart is a much improved system with respect to features, tools, and efficiency. We strongly encourage you to consider Mozart for using and downloading rather than Oz 1. Oz 1 is still available as documentation how Oz evolved and for those interested in an ultraconcurrent programming language.   Mozart


    Oz 1 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 1 inherits full compositionality, and from logic languages Oz 1 inherits logic variables and constraints (including feature and finite domain constraints). Search in Oz 1 is encapsulated (no backtracking) and includes one, best and all solution strategies.

    DFKI Oz 1 is an interactive implementation of Oz 1 featuring a programming interface based on GNU Emacs, a concurrent browser, 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. DFKI Oz 1 is available for many platforms running Unix/X, including Sparcs and 486 PCs.

    Applications DFKI Oz 1 has already been used for include simulations, multi-agent systems, natural language processing, virtual reality, graphical user interfaces, scheduling, placement problems, and configuration.

    Further Information

    Survey | Documentation | DFKI Oz 1.1

    Denys Duchier, Christian Schulte