declarative programming
- .QL
- Abbreviated Language For Authorization
- ABSYS
- Advanced Business Application Language
- AMPL
- ASCEND
- Atom
- ATS
- Constraint Handling Rules
- Curl
- Datalog
- ECL
- Erlang
- Escher
- Extensible Application Markup Language
- FXML
- GeneXus
- Gödel
- Harbour
- HPCC
- Inform
- JavaFX Script
- Jess
- JModelica.org
- JSONiq
- KM
- Kotlin
- KRL
- Lithe
- LOOM
- Lucid
- Lustre
- Max (programming language)
- Metafont
- MetaPost
- Microsoft C
- Miranda
- Mizar system
- Modelica
- Nix
- Openmodelica
- Pan
- PicoLisp
- POP-11
- Power Fx
- PQL
- Prolog
- Pure
- QML
- Ring
- SequenceL
- SIGNAL
- SMT-LIB
- SPARQL
- SQL
- Swift
- Wolfram Language
- XACML
- XOD
- XProc
- XQuery
- XSLT