SAL Home PROGRAM Languages & Compilers


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.

DFKI Oz 2.0 is an interactive implementation of Oz featuring 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:   2.0

License Type:   file://

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   Yes (Compressed tar file)

Targeted Platforms:

Sparc (Solaris, SunOS), Dec Ultrix, HP-UX, Linux (Intel and Motorola), SGI IRIX, IBM RS/6000, FreeBSD, X86 Solaris, Windows 95/NT.

Software/Hardware Requirements:


Other Links:
Mozart (an interactive distributed implementation of Oz) (FTP Site)

Mailing Lists/USENET News Groups:

Mailing list, request through

User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.