Paradigm: Declarative
Declarative programming paradigm defines the process of computation by describing the logic of computation rather than its control flow.
Declarative programming is the opposite of imperative programming; the former describes what needs to be done, while the latter describes how exactly to do this. In fact, declarative programming is often defined as any style of programming which is not imperative, since the latter is easier to define.
Subparadigms: …
- Agda
- FP
- Haskell (dialects: Haskell 98)
- Mercury
- Picat
- POP-11
-
Prolog
(dialects:
ISO Prolog)
-
B-Prolog
- B-Prolog 2.0
- B-Prolog 2.1
- B-Prolog 3.0
- B-Prolog 3.1
- B-Prolog 3.2
- B-Prolog 4.0
- B-Prolog 5.0
- B-Prolog 5.0-a
- B-Prolog 5.0-b
- B-Prolog 6.0
- B-Prolog 6.0 beta
- B-Prolog 6.1
- B-Prolog 6.2
- B-Prolog 6.4
- B-Prolog 6.5
- B-Prolog 6.6
- B-Prolog 6.7
- B-Prolog 6.7 #2
- B-Prolog 6.7 #3
- B-Prolog 6.8
- B-Prolog 6.9
- B-Prolog 7.0
- B-Prolog 7.1
- B-Prolog 7.2
- B-Prolog 7.3
- B-Prolog 7.4
- B-Prolog 7.4 #3
- B-Prolog 8.0
- Beta-Prolog 1.0
- Beta-Prolog 1.2
- Beta-Prolog 1.5
- Beta-Prolog 1.6
- ECLiPSe CLP
-
GNU Prolog
- gprolog 0.9.0
- gprolog 1.0.0
- gprolog 1.0.1
- gprolog 1.0.2
- gprolog 1.0.3
- gprolog 1.0.4
- gprolog 1.0.5
- gprolog 1.0.6
- gprolog 1.1.0
- gprolog 1.1.1
- gprolog 1.1.2
- gprolog 1.1.3
- gprolog 1.1.4
- gprolog 1.1.5
- gprolog 1.1.6
- gprolog 1.1.7
- gprolog 1.2.0
- gprolog 1.2.1
- gprolog 1.2.10
- gprolog 1.2.11
- gprolog 1.2.12
- gprolog 1.2.13
- gprolog 1.2.14
- gprolog 1.2.15
- gprolog 1.2.16
- gprolog 1.2.17
- gprolog 1.2.18
- gprolog 1.2.19
- gprolog 1.2.2
- gprolog 1.2.3
- gprolog 1.2.4
- gprolog 1.2.5
- gprolog 1.2.6
- gprolog 1.2.7
- gprolog 1.2.8
- gprolog 1.2.9
- gprolog 1.3.0
- gprolog 1.3.1
- Poplog (Prolog)
- SWI-Prolog
- Visual Prolog
-
B-Prolog
- SQL