A deklaratív programozás egy számítógépes programozási paradigma, amelyet a fejlesztő határoz meg, amit a programnak el kell végeznie, nem pedig kifejezetten meg kell határoznia, hogyan kell ezt megtennie. Ez a megközelítés természetesen a formális logikai rendszerek programszerű meghatározására szolgál, és előnye, hogy egyszerűsíti a párhuzamos feldolgozási alkalmazások programozását.

Nyilatkozó programozási nyelvek

• ABSET
• ABSYS
• Alpha
• Hangya
• FELEMELKEDIK
• Atom
• ATS
• Brooks
• Gyertya
• curry
• CLP (R)
• Curl
• Ciki
• Adat napló
• DASL
• Függő ML
• ECL
• Beágyazott SQL
• Erlang
• EAML
• F-Logic
• FXML
• GeneXus
• Glowe
• CÉL
• Vafli
• GtkBuilder
• Kikötő
• HiLog
• HPCC
• JavaFX Script
• JModelica
• KM
• Karcsú
• SZÖVŐSZÉK
• Világos
• Ragyogás
• MetaFont
• MetaPost
• Miranda
• Modelica
• MXML
• oz
• Pán
• Bevezető
• prova
• PTQL
• .QL
• QML
• Quark keretrendszer
• ÍRÓTOLL
• RDQL
• SequenceL
• JEL
• SMIL
• SPARQL
• SQL
• Tranzakciós logika
• Web ontológia nyelv
• XBase
• XProc
• XSLT

Logika, paradigma, programozási nyelvek, programozási feltételek