Oz - U Saarbrucken. Object-oriented concurrent constraint language. Based
on constraint communication, 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.
ftp://duck.dfki.uni-sb.de/pub/papers
Comments, Experience, Additions
Next Language: P-code