Category:Declarative programming languages
Here is a list of articles in the category Declarative programming languages of the Computing portal that unifies foundations of mathematics and computations using computers.
![]() |
Wikimedia Commons has media related to Declarative programming languages. |
This category lists those programming languages that adhere to the declarative programming paradigm.
Subcategories
This category has the following 4 subcategories, out of 4 total.
D
F
L
Pages in category "Declarative programming languages"
The following 70 pages are in this category, out of 70 total.
A
- ABSET (computing)
- Absys (computing)
- Alpha (programming language) (computing)
- ASCEND (software)
- Atom (programming language) (computing)
- ATS (programming language) (computing)
B
- BNR Prolog (computing)
C
- CLP(R) (computing)
- Constraint Handling Rules (computing)
- Curl (programming language) (computing)
- CycL (computing)
D
- Datalog (computing)
- Dependent ML (computing)
- Distributed Application Specification Language (computing)
E
- ECL (data-centric programming language) (computing)
- Embedded SQL (computing)
- Erlang (programming language) (computing)
- Extensible Application Markup Language (computing)
G
- GeneXus (software)
- GOAL agent programming language (computing)
- Gofer (programming language) (computing)
- Gremlin (programming language) (computing)
- Gremlin (query language) (computing)
- GtkBuilder (computing)
H
- Harbour (computing)
- Harbour (programming language) (computing)
- HiLog (computing)
- HPCC (software)
J
- JavaFX Script (computing)
- JModelica.org (software)
L
- Lithe (computing)
- Lithe (programming language) (computing)
- LOOM (ontology) (computing)
- Lucid (programming language) (computing)
- Lustre (programming language) (computing)
M
- Metafont (software)
- MetaPost (computing)
- Miranda (programming language) (computing)
- Modelica (computing)
- MXML (computing)
O
- OpenModelica (software)
P
- Pan (programming language) (computing)
- PQL (computing)
- Prolog (computing)
- Prova (computing)
- PTQL (computing)
Q
- QML (computing)
R
- Rulelog (computing)
S
- SequenceL (software)
- ShEx (computing)
- SIGNAL (programming language) (computing)
- List of SPARQL implementations (computing)
- SPARQL (computing)
- SQL (computing)
- SQL syntax (computing)
- SQL-92 (computing)
- SQL:1999
- SQL:2003
- SQL:2008
- SQL:2011
- SQL:2016
- SQLf (computing)
- Synchronized Multimedia Integration Language (computing)
T
- Transaction logic (computing)
W
- Web Ontology Language (computing)
- Wolfram Language (computing)