Deklarativ programmering är ett datorprogrammeringsparadigm som utvecklaren definierar vad programmet ska åstadkomma snarare än att uttryckligen definiera hur det ska gå om att göra det. Detta tillvägagångssätt låter sig naturligt till den programmatiska definitionen av formella logiksystem, och har fördelen att förenkla programmeringen av några parallella bearbetningsapplikationer.

Deklarativa programmeringsspråk

• ABSET
• ABSYS
• Alfa
• Myra
• STIGA
• Atom
• ATS
• Brooks
• Ljus
• Curry
• CLP (R)
• Ringla
• CYCL
• DATALOG
• DASL
• Beroende ML
• ECL
• Inbäddad SQL
• Erlang
• EAML
• F-Logic
• FXML
• GeneXus
• Glowe
• MÅL
• Gofer
• GtkBuilder
• Hamn
• HiLog
• HPCC
• JavaFX Script
• JModelica
• KM
• Smidig
• VÄVSTOL
• lucid
• Lyster
• MetaFont
• Meta
• Miranda
• Modelica
• MXML
• Uns
• Panorera
• Prolog
• prova
• PTQL
• .QL
• QML
• Quark Framework
• GÅSPENNA
• RDQL
• SequenceL
• SIGNAL
• SMIL
• SPARQL
• SQL
• Transaktionslogik
• Web Ontology Language
• XBase
• XProc
• XSLT

Logik, Paradigm, Programmeringsspråk, Programmeringsvillkor