Declarative
Expresses the logic of a computation without describing its control flow.
Details
Plangs
| Name | Description |
|---|---|
| AbcDatalog | Easy Datalog for research & pedagogy. |
| AMPL | Algebraic modeling language for complex optimization problems in large-scale computing. |
| Ascent | Logic programming language (similar to Datalog) embedded in Rust via macros. |
| Astro | Modern framework for building fast, content-focused websites using static site generation. |
| Bicep | DSL for deploying Azure resources with a simplified syntax. |
| Boomerang | Language for bidirectional transformations on textual data formats. |
| Cassette | Simple, DIY personal programming language focusing on fun. |
| Coq | Interactive theorem prover focused on formal verification and proof checking. |
| Cozo | A database leveraging Datalog for queries. |
| CSS | Style sheet language for styling documents written in HTML or XML. |
| Curry | Declarative language that integrates features of functional and logic programming paradigms |
| Datahike | A Datalog engine supporting immutability and distribution. |
| Datalevin | A simple, fast and versatile Datalog database. |
| Datalog | Declarative logic programming language and subset of Prolog, used for deductive databases. |
| DataScript | Immutable database and Datalog query engine for Clojure, ClojureScript and JS. |
| Datomic | Distributed database with an immutable data model and Datalog implementation. |
| Differential Datalog | A language for efficient incremental computation and dataflow processing. |
| Eclair | A logic programming language for specifying complex rules over large datasets efficiently. |
| EJS | Simple templating language for embedding JavaScript in HTML. |
| ELPI | An embeddable interpreter for a λProlog variant enriched with Constraint Handling Rules. |
| Eqlog | A logic programming language for Datalog with equality support. |
| FAUST | Designed for sound synthesis and high-performance audio processing, supporting multiple backends. |
| Flutter | Toolkit for creating natively compiled cross-platform apps from a single codebase. |
| Flyde | Visual language for intuitive data flow and TypeScript integration. |
| Formulog | Datalog with support for SMT queries and first-order functional programming. |
| Gremlin | Graph traversal language and virtual machine developed by Apache TinkerPop. |
| Haskell | Statically-typed, purely functional language known for type inference and lazy evaluation. |
| HCL | Declarative configuration language used in Terraform to define cloud infrastructure resources. |
| HiveQL | SQL-like query language for Hadoop developed by Apache Hive. |
| HTML | HTML is the standard markup language for web pages. |
| Ichiban Prolog | An embeddable ISO Prolog interpreter in Go. |
| Inform | Programming language for interactive fiction, supporting natural language sentence story writing. |
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |
| Jinja | Web template engine for Python, known for its flexible syntax and functionality. |
| JIProlog | An interpreter for the Prolog language implemented in Java. |
| Kotlin | Concise, statically typed language interoperative with Java, targeting JVM and other platforms. |
| Logica | A declarative logic programming language for data manipulation. |
| Makefile | Tool used for build automation, defining build tasks in makefiles based on file timestamps. |
| Mercury | A logic-based programming language with functional features. |
| Modelica | Non-proprietary, object-oriented language for modeling complex physical systems across multiple domains. |
| Mustache | Logic-less web template system using braces `{{}}` for templating. |
| Natlog | A lightweight Prolog-like system designed for interoperability with deep learning tools. |
| Nickel | Lightweight configuration language designed for generating modular and reusable configuration files. |
| Nix | Cross-platform, functional package manager and language with immutable directory management. |
| Orca | Esoteric language for creating procedural sequencers for music and visual applications. |
| PKL | Configuration language for defining data structures and generating JSON or YAML outputs. |
| Popper | An inductive logic programming system for solving machine learning tasks. |
| Potassco | Targets combinatorial search problems using efficient ASP solvers. |
| Prolog | Logic programming language used in AI and theorem proving, influenced by first-order logic for declarative tasks. |
| Pure | Based on term rewriting, integrating symbolic computation and JIT compilation via LLVM. |
| PureScript | Strongly-typed, purely-functional language similar to Haskell, compiling to JavaScript. |
| PyNeuraLogic | Enables Differentiable Logic Programs via neural networks. |
| QML | Declarative user interface markup language, primarily for Qt Quick applications. |
| Rakudo | The main compiler for the Raku language, targeting MoarVM and JVM. |
| Rascal | Domain-specific language for metaprogramming and implementing domain-specific languages. |
| RMarkdown | Document format for creating dynamic reports by integrating R code chunks in markdown-like syntax. |
| Scryer Prolog | An ISO Prolog implemented in Rust. |
| SHACL | W3C standard language for RDF graph constraints and validation. |
| ShEx | Used for RDF data validation and description. |
| Slog | A programming language for parallel logic programming with first-class facts handling. |
| Soufflé | Parallel logic programming language used for static analysis and reverse engineering, influenced by Datalog. |
| SQL | Domain-specific language for managing data in relational databases. |
| Starlark | Python-like configuration language used for application configuration and build automation with tools like Bazel. |
| SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |
| Swift | Developed by Apple for its platforms, with a focus on safety and performance. |
| Tau Prolog | An implementation of Prolog for web-based applications in JavaScript environments. |
| TeX | Typesetting system for scientific and academic documents, designed by Donald Knuth. |
| Trealla Prolog | An efficient Prolog interpreter with concurrent capabilities. |
| Unison | Statically-typed, functional language treating code as data for efficient distributed programming. |
| Visual Basic | Multi-paradigm language developed by Microsoft for Windows applications. |
| Vue | JavaScript framework for front end development. |
| Wasp | Simplifies full-stack web development with a declarative approach. |
| Wing | Designed for managing cloud infrastructure and serverless applications. |
| XProc | XML transformation language for processing documents in pipelines. |
| XQuery | W3C language for querying and transforming XML data using XPath. |
| XSB | Prolog dialect with tabled resolution for logic programming and deductive databases. |
| XSLT | Declarative language for transforming XML documents. |
| YAML | Human-readable data serialization language for configuration files and data exchange, featuring minimal syntax. |