La programmation déclarative est un paradigme de programmation informatique dans lequel le développeur définit ce que le programme doit accomplir plutôt que de définir explicitement comment il doit s'y prendre. Cette approche se prête naturellement à la définition programmatique des systèmes logiques formels et présente l'avantage de simplifier la programmation de certaines applications de traitement parallèle.
Langages de programmation déclaratifs
- ABSET
- Absys
- Alpha
- Fourmi
- MONTER
- Atome
- ATS
- Brooks
- Bougie
- Curry
- CLP (R)
- Boucle
- CycL
- Journal de données
- DASL
- Dépendant ML
- ECL
- SQL embarqué
- Erlang
- EAML
- F-Logic
- FXML
- GeneXus
- Glowe
- OBJECTIF
- Gofer
- GtkBuilder
- Port
- HiLog
- HPCC
- Script JavaFX
- JModelica
- KM
- Souple
- MÉTIER À TISSER
- Lucide
- Lustre
- MetaFont
- MetaPost
- Miranda
- Modelica
- MXML
- Oz
- La poêle
- Prolog
- Prova
- PTQL
- .QL
- QML
- Cadre Quark
- PENNE
- RDQL
- SéquenceL
- SIGNAL
- SMIL
- SPARQL
- SQL
- Logique de transaction
- Ontologie Web Langage
- XBase
- XProc
- XSLT
Logic, Paradigm, Langages de programmation, Termes de programmation