Какие существуют типы декларативных языков программирования?

Некоторые типы декларативных языков программирования:

• Языки логического программирования. www.aznresearch.com Представляют программу в виде набора логических связей. www.aznresearch.com Пример — Prolog. www.aznresearch.com kedu.ru Такие языки подходят для реализации систем, основанных на правилах, например, экспертных систем. kedu.ru
• Функциональные языки. www.aznresearch.com Имеют математический стиль. www.aznresearch.com Можно построить функциональную программу, применяя функции к аргументам. www.aznresearch.com Примеры — LISP, ML и Haskell. www.aznresearch.com
• Языки разметки. en.m.wikipedia.org Часто относятся к декларативным. en.m.wikipedia.org Например, HTML описывает, что должно отображаться на веб-странице, но не указывает, как она будет отображаться и как будет взаимодействовать с пользователем. en.m.wikipedia.org
• Языки представления знаний. profbeckman.narod.ru Декларативные или декларативно-процедурные языки, предназначенные для представления знаний в памяти ЭВМ. profbeckman.narod.ru

Также декларативные языки программирования могут быть классифицированы как программирование с ограничениями. www.aznresearch.com

Кроме того, существуют предметно-ориентированные языки (DSL), которые используются вместе с декларативным программированием: поток управления встроен в язык и существует отдельно от логики. www.aznresearch.com