Programarea declarativă este o paradigmă de programare a calculatorului în care dezvoltatorul definește ce ar trebui să realizeze programul, decât să definească în mod explicit modul în care ar trebui să procedeze în acest sens. Această abordare se dedică în mod firesc definirii programatice a sistemelor logice formale și are avantajul de a simplifica programarea unor aplicații de procesare paralelă.

Limbi de programare declarative

• ABSET
• Absys
• Alfa
• Furnică
• URCA
• Atom
• ATS
• Brooks
• Lumânare
• Curry
• CLP (R)
• Răsuci
• CYCL
• Jurnal de date
• DASL
• Dependent ML
• ECL
• SQL încorporat
• Erlang
• EAML
• F-Logic
• FXML
• GeneXus
• Glowe
• POARTĂ
• fagure
• GtkBuilder
• Port
• HiLog
• HPCC
• Script JavaFX
• JModelica
• KM
• Sprinten
• RĂZBOI DE ŢESUT
• Lucid
• Luciu
• Metafont
• MetaPost
• Miranda
• Modelica
• MXML
• oz
• Tigaie
• Prolog
• prova
• PTQL
• .QL
• QML
• Cadrul Quark
• PANĂ
• RDQL
• SequenceL
• SEMNAL
• SMIL
• SPARQL
• SQL
• Logica tranzacției
• Web Ontology Language
• XBase
• XProc
• XSLT

Logică, Paradigma, Limbi de programare, Termeni de programare