A two-layered system, consisting of:
<ul>
<li>Mozart, an open distributed system providing constraint-based inference.
<li>_(Oz), a *(concurrent) *(object-oriented) *(programming language) implemented in Mozart.
</ul>

This combination allows for multi-paradigm programming, essentially. It is <em>apparently</em> equivalent in expressive power to _(aspect-oriented programming). The sole implementation is a cross-platform _(VM) and run-time, with integration into the Tk graphics library and numerous other features.

<ul class="implementations">
<li>The _(main site|http://www.mozart-oz.org/).
</ul>
