Deklarative Programmierung ist ein Computer-Programmier-Paradigma, das der Entwickler definiert, was das Programm leisten soll, anstatt explizit zu definieren, wie dies geschehen soll. Dieser Ansatz eignet sich natürlich für die programmatische Definition formaler Logiksysteme und hat den Vorteil, dass die Programmierung einiger Parallelverarbeitungsanwendungen vereinfacht wird.

Deklarative Programmiersprachen

• ABSET
• Absys
• Alpha
• Ameise
• AUFSTEIGEN
• Atom
• ATS
• Brooks
• Kerze
• Curry
• CLP (R)
• Curl
• CycL
• Datenprotokoll
• DASL
• Abhängige ML
• ECL
• Embedded SQL
• Erlang
• EAML
• F-Logik
• FXML
• GeneXus
• Glowe
• TOR
• Mädchen für alles
• GtkBuilder
• Hafen
• HiLog
• HPCC
• JavaFX-Skript
• JModelica
• KM
• Geschmeidig
• WEBSTUHL
• Lucid
• Lüster
• MetaFont
• MetaPost
• Miranda
• Modelica
• MXML
• Oz
• Schwenken
• Prolog
• Prova
• PTQL
• .QL
• QML
• Quark Framework
• FEDER
• RDQL
• SequenceL
• SIGNAL
• SMIL
• SPARQL
• SQL
• Transaktionslogik
• Sprache der Web-Ontologie
• XBase
• XProc
• XSLT

Logik, Paradigma, Programmiersprachen, Programmierbegriffe