Oz is a multiparadigm programming language supporting eight models: concurrent, constraint, dataflow synchronization, distributed, functional (evaluation: eager, lazy), imperative, logic, object-oriented (class-based). It combines concurrent and distributed programming with logical constraint-based inference. The Mozart Programming System is a multiplatform programming environment used for Oz. It runs programs in a virtual machine.