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

Imperative programming, Logic, Paradigm, Procedural language, Programming languages, Programming terms

  • How to create a computer program.
  • Why are there so many programming languages?
  • What was the first computer programming language?
  • What jobs are available in the computer industry?