By Peter Van Roy, Seif Haridi; MIT Press, 2004, ISBN 0262220695. Teaches science and technology of programming as unified discipline, showing deep relationships between programming paradigms, via Oz, Mozart.

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.

Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics.

Wiki translating many CTM book sample programs into Alice, a statically typed language extending Standard ML with features of Oz. Divided into chapters.

Second International Mozart/Oz conference.

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]

Concurrent constraint programming language designed for applications needing complex symbolic computations, organization into multiple agents, and soft realtime control. The original Oz: DFKI Oz 2.0; features, tools, documents, download. Predecessor of Mozart.

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.