Declarative programming

Updated: 04/26/2017 by Computer Hope

Declarative programming is a computer programming paradigm that the developer defines what the program should accomplish rather than explicitly defining how it should go about doing so. This approach lends itself naturally to the programmatic definition of formal logic systems, and has the benefit of simplifying the programming of some parallel processing applications.

Declarative programming languages

  • ABSET
  • Absys
  • Alpha
  • Ant
  • ASCEND
  • Atom
  • ATS
  • Brooks
  • Candle
  • Curry
  • CLP(R)
  • Curl
  • CycL
  • Datalog
  • DASL
  • Dependent ML
  • ECL
  • Embedded SQL
  • Erlang
  • EAML
  • F-Logic
  • FXML
  • GeneXus
  • Glowe
  • GOAL
  • Gofer
  • GtkBuilder
  • Harbour
  • HiLog
  • HPCC
  • JavaFX Script
  • JModelica
  • KM
  • Lithe
  • LOOM
  • Lucid
  • Lustre
  • MetaFont
  • MetaPost
  • Miranda
  • Modelica
  • MXML
  • Oz
  • Pan
  • Prolog
  • Prova
  • PTQL
  • .QL
  • QML
  • Quark Framework
  • QUILL
  • RDQL
  • SequenceL
  • SIGNAL
  • SMIL
  • SPARQL
  • SQL
  • Transaction logic
  • Web Ontology Language
  • XBase
  • XProc
  • XSLT

Logic, Paradigm, Programming languages, Programming terms