datalog topic

🎦 Learn Datomic course files for building Cheffy REST API backed by Datomic

jacekschae

Four-Valued Reasoning System

mnowotnik

logic programming in Rust

s-arash

An in-memory datalog implementation for OCaml.

c-cube

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

luc-tielen

An immutable database for application development and time-travel data compliance, with SQL and XTQL. Developed by @juxt

xtdb

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

EvgSkv

A durable Datalog implementation adaptable for distribution.

replikativ

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not writ...

vmware

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.

souffle-lang