Декларативное программирование - это парадигма компьютерного программирования, в которой разработчик определяет, чего должна достичь программа, а не явно определяет, как она должна поступать. Этот подход естественным образом поддается программному определению систем формальной логики и позволяет упростить программирование некоторых приложений параллельной обработки.

Декларативные языки программирования

• ABSET
• ABSYS
• Альфа
• Муравей
• восходить
• Атом
• ATS
• Brooks
• свеча
• Карри
• CLP (R),
• Curl
• CYCL
• Лог данных
• DASL
• Зависимый ML
• ECL
• Встроенный SQL
• Erlang
• EAML
• F-Logic
• FXML
• GeneXus
• Glowe
• ЦЕЛЬ
• Gofer
• GtkBuilder
• гавань
• HiLog
• HPCC
• JavaFX Script
• JModelica
• KM
• гибкий
• LOOM
• ясный
• Блеск
• MetaFont
• MetaPost
• Миранда
• Modelica
• MXML
• унция
• Кастрюля
• пролог
• Prova
• PTQL
• .QL
• QML
• Quark Framework
• QUILL
• RDQL
• SequenceL
• СИГНАЛ
• SMIL
• SPARQL
• SQL
• Логика транзакций
• Язык веб-онтологий
• XBase
• XProc
• XSLT

Логика, Парадигма, Языки программирования, Термины программирования