Oz語言

Oz是多範式編程語言，由Université catholique de Louvain的編程系統實驗室開發，主要用於計算機編程語言的教學。它還提供相關語言教材《Concepts, Techniques, and Models of Computer Programming》。

Oz

編程範型	多範式: 邏輯, 函數式, 指令式, 面向對象, 約束, 分布式, 並發
設計者	Gert Smolka, his students
實作者	Mozart Consortium
面市時間	1991年​（1991）
當前版本	2.0.1（2018年9月5日；穩定版本）
型態系統	動態
許可證	MIT X11
網站	mozart.github.io
主要實作產品
莫扎特編程系統
衍生副語言
Oz, Mozart
啟發語言
Erlang, Lisp, Prolog
影響語言
Alice, Scala

Mozart Programming System是 Oz 語言的主要實現，由Mozart Consortium作為開源軟件發布。目前Mozart已經被移植到了不同的操作平台，包括Unix, FreeBSD, Linux, Microsoft Windows, 和 Mac OS X。Mozart-Oz項目本身包括運行虛擬機MVM等，請見於Mozart2-GitHub。

語言特性

Oz大量借鑑了Haskell，Lisp，Prolog，C，Perl，Java等語言的特性。他包含絕大多數的主要編程范型，包括邏輯，函數式（包括惰性求值和及早求值）、指令式編程、 面向對象、約束編程、分布式以及並發計算等。Oz 的正式語法簡單（詳見下文提到的書中第 13 章）而實現高效. Oz是一個面向並行編程的語言, 這個名詞最開始是由 Erlang language的主要設計者 Joe Armstrong發明。面向並行的編程語言可以讓並行變得容易且高效。Oz還支持一個標準的圖形界面語言 QTk。

在支持多種編程範式的基礎上，Oz 的主要優勢來自於支持約束編程和分布式計算。同時受益於模塊化設計，Oz 成功得被實現為一種網絡透明的分布式計算模型。這種模型使得使用 Oz 編寫開放的、可容錯的應用變得簡單。而在約束編程方面，Oz 引入了「計算空間（computation space）」的概念，從而使得用戶定義的搜索和部署策略與約束領域相正交。