Mozart Programming System
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.
Concepts, Techniques, and Models of Computer Programming
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.
Oz Programming Language
Description, well written, growing, with some links. [Wikipedia]
Programming Languages and Distributed Computing
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.
The Mozart Programming System
Description with references. Compares Oz to some other logic-based languages.