| AbcDatalog | Easy Datalog for research & pedagogy. |
|---|
| Ascent | Logic programming language (similar to Datalog) embedded in Rust via macros. |
|---|
| Ciao | Modern Prolog implementation focused on portability, extensibility, and modularity. |
|---|
| Clojure | Dynamic language known for its expressiveness and concurrent processing capabilities. |
|---|
| Coq | Interactive theorem prover focused on formal verification and proof checking. |
|---|
| Cozo | A database leveraging Datalog for queries. |
|---|
| 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. |
|---|
| ELPI | An embeddable interpreter for a λProlog variant enriched with Constraint Handling Rules. |
|---|
| Eqlog | A logic programming language for Datalog with equality support. |
|---|
| erlog | A Prolog interpreter implemented in Erlang. |
|---|
| Fleng | A compiler for concurrent logic programming languages FGHC, Strand, KL1, and PCN. |
|---|
| Flix | Functional, imperative, and logic language focusing on type and effect systems. |
|---|
| Formulog | Datalog with support for SMT queries and first-order functional programming. |
|---|
| GNU Prolog | A Prolog implementation with an interpreter and native compiler. |
|---|
| GUPU | An environment specialized for Prolog and constraint programming. |
|---|
| Ichiban Prolog | An embeddable ISO Prolog interpreter in Go. |
|---|
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |
|---|
| JIProlog | An interpreter for the Prolog language implemented in Java. |
|---|
| Logica | A declarative logic programming language for data manipulation. |
|---|
| Logtalk | Object-oriented logic programming language extending Prolog. |
|---|
| Mercury | A logic-based programming language with functional features. |
|---|
| MiniZinc | Language for constraint modelling and solving complex combinatorial problems. |
|---|
| Natlog | A lightweight Prolog-like system designed for interoperability with deep learning tools. |
|---|
| Picat | A multi-paradigm language integrating functional, logic, and imperative programming features. |
|---|
| 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. |
|---|
| PyNeuraLogic | Enables Differentiable Logic Programs via neural networks. |
|---|
| Racket | Multi-paradigm language derived from Lisp and Scheme, known for powerful macros and libraries. |
|---|
| Scryer Prolog | An ISO Prolog implemented in Rust. |
|---|
| Shen | Multi-paradigm language blending functional and logic programming for symbolic computation. |
|---|
| 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. |
|---|
| Strand | A parallel Prolog dialect. |
|---|
| SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |
|---|
| Tau Prolog | An implementation of Prolog for web-based applications in JavaScript environments. |
|---|
| Teyjus | Implementation of Lambda Prolog for higher-order logic programming. |
|---|
| Trealla Prolog | An efficient Prolog interpreter with concurrent capabilities. |
|---|
| XSB | Prolog dialect with tabled resolution for logic programming and deductive databases. |
|---|