La programación declarativa es un paradigma de programación informática que el desarrollador define lo que el programa debe lograr en lugar de definir explícitamente cómo debe hacerlo. Este enfoque se presta naturalmente a la definición programática de sistemas lógicos formales, y tiene la ventaja de simplificar la programación de algunas aplicaciones de procesamiento paralelo.

Lenguajes de programación declarativos

• ABSET
• Absys
• Alfa
• Hormiga
• ASCENDER
• Átomo
• ATS
• Brooks
• Vela
• Curry
• CLP (R)
• Rizo
• CycL
• Registro de datos
• DASL
• Dependiente ML
• ECL
• SQL incorporado
• Erlang
• EAML
• F-logica
• FXML
• GeneXus
• Brillar
• GOL
• Gofer
• GtkBuilder
• Puerto
• HiLog
• HPCC
• Script JavaFX
• JModelica
• KM
• Ágil
• TELAR
• Lúcido
• Lustre
• MetaFont
• MetaPost
• Miranda
• Modelica
• MXML
• Onz
• Pan
• Prólogo
• Prova
• PTQL
• .QL
• QML
• Quark Framework
• PLUMA
• RDQL
• Secuencia
• SEÑAL
• SMIL
• SPARQL
• SQL
• Lógica de transacción
• Lenguaje de ontología web
• XBase
• XProc
• XSLT

Lógica, Paradigma, Lenguajes de programación, Términos de programación.