Grakn Core: The Knowledge Graph

Document database with bitemporal graph queries

A durable datalog implementation adaptable for distribution.

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

An in-memory incremental Datalog engine based on Differential Dataflow

Research on integrating datalog & lambda calculus via monotonicity types

A reactive query engine built on differential dataflow.

Clojure(Script) client for Declarative Dataflow.

An in-memory datalog implementation for OCaml.

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

A simple, fast and durable Datalog database

The CodeQL extractor and libraries for Go.

simplified query engine based on logic programming paradigm

A Clojure implementation of the logic programming language from chapter 4 of SICP

A tool for analyzing LLVM bitcode using Datalog.

Securify v2.0

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

Utilities for managing Datalog rulesets from Clojure

Store immutable facts and query them with datalog.

Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:

Mirror of Doop: https://bitbucket.org/yanniss/doop

🖖 Prolog-style Logic Programming in pure R

BDD-based implementation of Datalog

TupleNet is a lightweight tool for building virtual-networking

Datalog implemented in minikanren

A Datalog compiler and library

JudgeD: Probabilistic Datalog with Dependencies

A datalog implementation in pure Lua (LPEG parser).

WinCC Flexible and TIA Portal data log Viewer/ Parser/ Analyzer