Oz

An {object-oriented} {concurrent} {constraint} language from

the {University of Saarbrucken}. Oz is based on {constraint

communication}, a new form of {asynchronous} communication

using {logic variable}s. Partial information about the values

of variables is imposed concurrently and incrementally.

Supports {higher order} programming and object-orientation

including {multiple inheritance}.

{(ftp:duck.dfki.uni-sb.de/pub/papers)}

["Object-Oriented Concurrent Constraint Programming in Oz",

G. Smolka et al].