Oz (язык программирования)

Oz

Семантика:	функциональный, процедурный, декларативный, объектно-ориентированный, вычисления с ограничениями, Н-модели, параллельные вычисления
Тип исполнения:	компилируемый
Появился в:	1991 г.
Автор(ы):	Gert Smolka & his students
Последняя версия:	1.4.0 (July 3 2008)
Основные реализации:	Mozart
Испытал влияние:	Пролог
Повлиял на:	Alice

Oz — язык программирования высокого уровня, в котором совмещены функциональная, процедурная, декларативная семантики. На уровне языка поддерживается решение задач математического программирования, в частности задач дискретной оптимизации. Языковые конструкции допускают простое и естественное распараллеливание задач.

Высококачественная открытая реализация языка Oz — Mozart включает IDE на основе расширения редактора Emacs, компилятор, отладчик, профайлер и другие утилиты.

• Пример программы на языке Oz, решающей ребус

 ФУТ
+БОЛ
 ---
ИГРА
Где И=0 и все различные буквы означают различные цифры.

Программа:

local Fut Res in
proc {Fut C} 
 F#U#T#B#O#L#G#R#A = C 
in 
 C ::: 0#9 
 {FD.distinct C} 
 F \=: 0 
 B \=: 0 
 100 * F + 10* U + T + 100*B + 10*O + L =: 100*G + 10*R + A 
 {FD.distribute ff C} 
end 
{SearchAll Fut Res} 
{Browse Res} 
end 

покажет все решения данного ребуса в виде таблицы.

См. также

• Alice (язык программирования)
• Mozart

Ссылки

• The Mozart Programming System
• Strasheela — «Электронный композитор», написанный на Oz / Mozart