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. 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://ps-ftp.dfki.uni-sb.de/pub/oz/system/LICENSE

Home Site: http://www.ps.uni-sb.de/oz/ 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: None

Other Links: Mozart (an interactive distributed implementation of Oz) ftp://ftp.ps.uni-sb.de/pub/oz (FTP Site) Mailing Lists/USENET News Groups: Mailing list oz-users@ps.uni-sb.de, request through oz-users-request@ps.uni-sb.de User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers