Deklaratiivne programmeerimine on arvutiprogrammide paradigma, mida arendaja määrab kindlaks, mida programm peaks täitma, mitte selgelt määratlema, kuidas see peaks toimuma. Selline lähenemine on loomulikult formaalsete loogikasüsteemide programmilisele määratlusele ning selle eeliseks on mõnede paralleelsete töötlemisrakenduste programmeerimise lihtsustamine.

Deklaratiivsed programmeerimiskeeled

• ABSET
• Absys
• Alfa
• Ant
• ASCEND
• Atom
• ATS
• Brooks
• Küünal
• karri
• CLP (R)
• Curl
• CycL
• Datalog
• DASL
• Sõltuv ML
• ECL
• Sisseehitatud SQL
• Erlang
• EAML
• F-loogika
• FXML
• GeneXus
• Glowe
• EESMÄRK
• Gofer
• GtkBuilder
• Sadam
• HiLog
• HPCC
• JavaFXi skript
• JModelica
• KM
• Lithe
• LOOM
• Lucid
• Luster
• MetaFont
• MetaPost
• Miranda
• Modelica
• MXML
• Oz
• Pan
• Prolog
• Prova
• PTQL
• .QL
• QML
• Quarki raamistik
• QUILL
• RDQL
• JärjestusL
• SIGNAAL
• SMIL
• SPARQL
• SQL
• Tehingute loogika
• Veebi ontoloogia keel
• XBase
• XProc
• XSLT

Loogika, paradigma, programmeerimiskeeled, programmeerimise terminid