Deklaratīvā programmēšana ir datorprogrammēšanas paradigma, ko izstrādātājs definē, ko programmai vajadzētu paveikt, nevis skaidri definēt, kā tai jādara. Šī pieeja, protams, ir formālās loģikas sistēmu programmēšanas definīcija, un tā priekšrocība ir vienkāršošana dažu paralēlu apstrādes programmu programmēšanai.

Deklaratīvās programmēšanas valodas

• ABSET
• Absys
• Alfa
• Ant
• ASCEND
• Atom
• ATS
• Brooks
• Svece
• Karijs
• CLP (R)
• Curl
• CycL
• Datalog
• DASL
• Atkarīgs ML
• ECL
• Iegultais SQL
• Erlang
• EAML
• F-loģika
• FXML
• GeneXus
• Glowe
• MĒRĶIS
• Gofer
• GtkBuilder
• Harbour
• HiLog
• HPCC
• JavaFX skripts
• JModelica
• KM
• Lithe
• LOOM
• Lucid
• Spīdums
• MetaFont
• MetaPost
• Miranda
• Modelica
• MXML
• Oz
• Pan
• Prolog
• Prova
• PTQL
• .QL
• QML
• Quark Framework
• QUILL
• RDQL
• SecībaL
• SIGNĀLS
• SMIL
• SPARQL
• SQL
• Darījuma loģika
• Web ontoloģijas valoda
• XBase
• XProc
• XSLT

Loģika, paradigma, programmēšanas valodas, programmēšanas noteikumi