Mozart

Mozart — современная система программирования основанная на Oz. Это язык сверхвысокого уровня, декларативный. Включает в себя множество парадигм и принципов в едином дизайне. В том числе: процедурное программирование, ООП, ФП (функциональное), ЛП (логическое), dataflow, программирование в ограничениях и Н-модели. При этом синтаксис прост, программы хорошо читаются.

Акцент в ЛП на программирование в ограничениях, основанное на оптимизированном поиске решения путем перебора вариантов. Развитые средства параллельного программирования, способен работать на вычислительном кластере. Средства синхронизации построены на dataflow (данные управляют программой).

Реализован как интерпретатор. Для работы на кластере необходимо установить Mozart и средства SSH (защищенное соединение) на каждый компьютер сети. При запуске на SMP многопроцессорной машине система рассматривает ее как кластер с адресами узлов localhost.

В комплекте со средой выполнения идут развитые библиотеки, в том числе Tcl/Tk для разработок с графическим интерфейсом.

Также может применяться без параллелизма, как универсальный язык программирования с выразительным и лаконичным синтаксисом.

Создавался коллективом специалистов нескольких европейских ВУЗов, в том числе и из России. Поддерживается несколько операционных систем: Windows, Linux, MacOS