Kaj je deklarativno programiranje?

Deklarativno programiranje je paradigma računalniškega programiranja, da razvijalec opredeli, kaj naj bi program dosegel, namesto da bi izrecno opredelil, kako naj bi to storil. Ta pristop se lahko naravno prilagodi programski opredelitvi formalnih logičnih sistemov in ima korist od poenostavitve programiranja nekaterih aplikacij za vzporedno obdelavo.

Deklarativni programski jeziki

  • ABSET
  • Absys
  • Alfa
  • Mravlja
  • ASCEND
  • Atom
  • ATS
  • Brooks
  • Sveča
  • Curry
  • CLP (R)
  • Curl
  • CycL
  • Datalog
  • DASL
  • Odvisna ML
  • ECL
  • Vdelani SQL
  • Erlang
  • EAML
  • F-Logic
  • FXML
  • GeneXus
  • Glowe
  • CILJ
  • Gofer
  • GtkBuilder
  • Pristanišče
  • HiLog
  • HPCC
  • Skript JavaFX
  • JModelica
  • KM
  • Lithe
  • LOOM
  • Lucid
  • Luster
  • MetaFont
  • MetaPost
  • Miranda
  • Modelica
  • MXML
  • Oz
  • Pan
  • Prolog
  • Prova
  • PTQL
  • .QL
  • QML
  • Okvir Quark
  • QUILL
  • RDQL
  • ZaporedjeL
  • SIGNAL
  • SMIL
  • SPARQL
  • SQL
  • Logika transakcij
  • Jezik spletnega ontologije
  • XBase
  • XProc
  • XSLT

Logika, paradigma, programski jeziki, programski izrazi