Oz

An object-oriented concurrent constraint language from

the University of Saarbrucken. Oz is based on constraintcommunication, a new form of asynchronous communication

using logic variables. Partial information about the values

of variables is imposed concurrently and incrementally.

Supports higher order programming and object-orientation

including multiple inheritance.

.

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

G. Smolka et al].