[Sorry, if you receive this more than once]

Announcing the release of DFKI Oz 2.0
-------------------------------------

Oz is a high-level programming language combining
constraint inference with concurrency.  Typical
application areas of Oz include optimization problems
like scheduling, time tabling, placement and
configuration, reasoning and knowledge representation,
processing of natural language, simulations, multi
agent systems, and sophisticated graphical user
interfaces.

Oz is dynamically typed and has first-class procedures,
classes, objects, exceptions and sequential threads
synchronizing over a constraint store.  It supports
finite domain and feature constraints and has powerful
primitives for programming constraint inference engines
at a high level.

DFKI Oz 2.0 is an interactive implementation of Oz
featuring an incremental compiler, support for
stand-alone applications, an object-oriented interface
to Tcl/Tk, and unique graphical tools for constraint
programming. It provides an extensive library of
constraint propagators, distributors, and search
engines, including special support for scheduling.
Users can add their own constraint propagators through
a C++ interface.  Performance is competitive with the
best Prolog, Lisp, and constraint programming systems.
DFKI Oz 2.0 is available for Unix and Windows.

Further information, the system, tutorials and
documentation are available at
        http://www.*-*-*.com/

Programming Systems Lab
DFKI and Universit?t des Saarlandes
http://www.*-*-*.com/

What is the data structure of your knowledge representation ?

Seth
See "Bozo's Conjecture" at http://www.clickshop.com/ai/conjecture.htm
And then on to the AI Jump List ...

PS: I can't get your demo to work.