[120] in linux-announce channel archive
Oz Release Announcement
daemon@ATHENA.MIT.EDU (Lars Wirzenius)
Wed Jan 25 13:57:34 1995
Date: Wed, 25 Jan 1995 15:56:56 +0200
From: Lars Wirzenius <wirzeniu@cc.helsinki.fi>
To: linux-activists@niksula.hut.fi, linux-announce@vger.rutgers.edu
X-Mn-Key: announce
From: smolka@dfki.uni-sb.de (Gert Smolka)
Newsgroups: comp.os.linux.announce
Subject: Oz Release Announcement
Organization: DFKI Saarbruecken GmbH, D 66123 Saarbruecken
Keywords: Oz, concurrent constraint programming language,
complex symbolic computations
Approved: linux-announce@tc.cornell.edu (Lars Wirzenius)
Followup-to: comp.os.linux.misc
Announcing the release of DFKI Oz 1.0
-------------------------------------
The Programming Systems Lab of the German Research Center
for Artificial Intelligence (DFKI) is pleased to announce
the release of DFKI Oz 1.0, an interactive compiler-based
implementation of 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 is an interactive implementation of Oz 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 is available for many
platforms running Unix/X, including Sparcs and 486 PCs.
Applications DFKI Oz has already been used for include
simulations, multi-agent systems, natural language
processing, virtual reality, graphical user interfaces,
scheduling, placement problems, and configuration.
DFKI Oz is available by anonymous ftp from
ps-ftp.dfki.uni-sb.de in /pub/oz, or through the WWW from
http://ps-www.dfki.uni-sb.de/
Tutorials, reference manuals, and research papers are
available from the same sources. You may start with "A
Survey of Oz" (8 pages) and continue with "An Oz Primer"
(110 pages).
For specific questions you may mail to oz@dfki.uni-sb.de.
To join the Oz users mailing list, contact
oz-users-request@dfki.uni-sb.de.
--
*****************
Gert Smolka, DFKI, Stuhlsatzenhausweg 3, D-66123 Saarbr"ucken, Germany
Tel: +49 681 302-5311; Fax: +49 681 302-5341; Net: smolka@dfki.uni-sb.de
--
Send submissions for comp.os.linux.announce to: linux-announce@news.ornl.gov
PLEASE remember Keywords: and a short description of the software.
