The Mozart system provides state-of-the-art support in two areas: open distributed computing and constraint-based inference. Mozart implements Oz, a concurrent object-oriented language with dataflow synchronization.
is an experimental programming language proposing to integrate three orthogonal programming paradigms proven useful for symbolic computation. From the programmer's standpoint, it may be perceived as a language taking after logic programming, functional programming, and object-oriented programming. From a formal perspective, it may be seen as an instance (or rather, a composition of three instances) of a Constraint Logic Programming scheme due to Hoehfeld and Smolka refining that of Jaffar and Lassez.
is an explanation-based constraint programming system. It has been written both in claire and in Java and uses the choco constraints library
Eleventh International Conference on Principles and Practice of Constraint Programming
October 1 - 5, 2005 Sitges (Barcelona) Spain co-located with ICLP 2005