ФП и ЛП

[asu]

  Добрый день. Я совсем новичок в Моцарте.
Немножко осваивал и читал документацию по Haskell, OCAML, Prolog.
Понял, что очень удачно было бы комбинировать ФП и ЛП.
Гугление показало, что есть такая штука Mercury, но под Windows оно
не очень удобно ставится. Потом наткнулся на Моцарт и снес Mercury.
Читаю доки, смотрю исходники.

Собственно вопросы новичка:

- когда прочел, что Oz включает в себя кучу всего, возникла мысль,
когда то это было (PL/1) и не выжило. Исходники примеров на Моцарте
показали, что здесь не "свалка" из других языков. Синтаксис свой. Я прав?
(или не прав). Насколько изящен Моцарт? (мне очень понравилось 
программирование
в Haskell - изящно)

- насколько Моцарт "серьезен", вроде бы поддержка и качество транслятора
на хорошем уровне. Это случаем не "концепт язык для студентов"? 
Насколькоэ это
полноценный язык программирования?

Мне бы хотелось перейти на язык с изящным синтаксисом и богатыми 
возможностями
для прикладного программирования. Сейчас пишу на Питоне. На Моцарте думаю
сделать модуль, подключив его по сетевому протоколу к основной программе.
Если Моцарт понравится, буду больше переходить на него.

Кстати, что есть еще из смешанного ФП и ЛП на хорошем уровне? Чем Oz лучше?

(Такое ощущение, что хороших (и свободных) разработок очень и очень мало.)

Кстати, у Mozart действительно свободная лицензия?

Антон.