|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.|
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.