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.
Companion website to textbook, teaches programming via Oz language, presents all major programming paradigms in a unified framework that is theoretically sound and practical. Many references, reviews, links.
Free major development platform for open, fault-tolerant, distributed, constraint and logic programming applications: full development environment, tools, documentation, tutorials, source code. Applications developed: realtime bus scheduler, configuration tool, collaborative graphic editor, corpus browser, and extended ICQ.
Description, well written, growing, with some links. [Wikipedia]
Research at the Universite catholique de Louvain (UCL) centered around the Oz language. Topics include peer-to-peer programming, security, tools for collaborative applications, human-computer interfaces, and teaching computer programming.
Description with references. Compares Oz to some other logic-based languages.
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us