Paradigm
Declarative
Expresses the logic of a computation without describing its control flow.
Plangs
- AbcDatalog
- AMPL
- Ascent
- Astro
- Bicep
- Boomerang
- Cassette
- Coq
- Cozo
- CSS
- Curry
- Datahike
- Datalevin
- Datalog
- DataScript
- Datomic
- Differential Datalog
- Eclair
- EJS
- ELPI
- Eqlog
- FAUST
- Flutter
- Flyde
- Formulog
- Gremlin
- Haskell
- HCL
- HiveQL
- HTML
- Ichiban Prolog
- Inform
- Isabelle
- Jinja
- JIProlog
- Kotlin
- Logica
- Makefile
- Mercury
- Modelica
- Mustache
- Natlog
- Nickel
- Nix
- Orca
- PKL
- Popper
- Potassco
- Prolog
- Pure
- PureScript
- PyNeuraLogic
- QML
- Rakudo
- Rascal
- RMarkdown
- Scryer Prolog
- SHACL
- ShEx
- Slog
- Soufflé
- SQL
- Starlark
- SWI-Prolog
- Swift
- Tau Prolog
- TeX
- Trealla Prolog
- Unison
- Visual Basic
- Vue
- Wasp
- Wing
- XProc
- XQuery
- XSB
- XSLT
- YAML