A concurrent, object-oriented, distributed language with constraint-based inference. PR: 19476 Submitted by: Mathias Picker <mathiasp@virtual-earth.de>