Deklarativno programiranje je paradigma računalnog programiranja koja developer definira što bi program trebao postići, a ne eksplicitno definirati kako to treba raditi. Ovaj se pristup prirodno može prilagoditi programskoj definiciji formalnih logičkih sustava i ima prednost što pojednostavljuje programiranje nekih aplikacija za paralelnu obradu.
Deklarativni programski jezici
- ABSET
- Absys
- Alfa
- Mrav
- ASCEND
- Atom
- ATS
- Brooks
- Svijeća
- Curry
- CLP (R)
- Kovrča
- Adv.Cycl
- Datalog
- DASL
- Ovisni ML
- ECL
- Ugrađeni SQL
- Erlang
- EAML
- F-Logic
- FXML
- GeneXus
- Glowe
- CILJ
- Gofer
- GtkBuilder
- Luka
- HiLog
- HPCC
- JavaFX skripta
- JModelica
- KM
- Gibak
- RAZBOJ
- Lucidan
- Sjaj
- MetaFont
- MetaPost
- Miranda
- Modelica
- MXML
- oz
- tava
- Prolog
- Prova
- PTQL
- .QL
- QML
- Okvir Quark
- PERO
- RDQL
- SequenceL
- SIGNAL
- SMIL
- SPARQL
- SQL
- Logika transakcije
- Jezik mrežne ontologije
- xbase
- XProc
- XSLT
Logika, paradigma, programski jezici, programski izrazi