Programación declarativa

Programación declarativa es un paradigma de programación de computadoras en el 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
  • Arroyos
  • Vela
  • Curry
  • CLP (R)
  • Rizo
  • CycL
  • Registro de datos
  • DASL
  • ML dependiente
  • ECL
  • SQL incorporado
  • Erlang
  • EAML
  • F-Logic
  • FXML
  • GeneXus
  • Glowe
  • OBJETIVO
  • Gofer
  • GtkBuilder
  • Puerto
  • HiLog
  • HPCC
  • Secuencia de comandos JavaFX
  • JModelica
  • KM
  • Ágil
  • TELAR
  • Lúcido
  • Lustre
  • MetaFont
  • MetaPost
  • Miranda
  • Modelica
  • MXML
  • Onz
  • Pan
  • Prólogo
  • Prueba
  • PTQL
  • .QL
  • QML
  • Marco de Quark
  • PLUMA
  • RDQL
  • SecuenciaL
  • SEÑAL
  • SONRISA
  • SPARQL
  • SQL
  • Lógica de transacción
  • Lenguaje de ontología web
  • XBase
  • XProc
  • XSLT