datalog 开源项目推荐（310 个）

cozodb /cozo

事务型、关系-图-向量数据库，使用 Datalog 进行查询。AI 的海马体！

terminusdb /terminusdb

TerminusDB is a Knowledge Graph Database with Version Control. Time-travel, reason, collaborate, branch, merge, diff, and query your data with Datalog.

EvgSkv /logica

Logica是一种可编译为SQL的逻辑编程语言。它在DuckDB、Google BigQuery、PostgreSQL和SQLite上运行。

replikativ /datahike

Versioned, fast, distributed Datalog engine for everyone.

vmware-archive /differential-datalog

DDlog是一种用于增量计算的编程语言。它非常适合编写能够响应输入变化而不断更新输出的程序。DDlog程序员不编写增量算法;相反，他们以声明性的方式指定所需的输入-输出映射。

souffle-lang /souffle

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.

ekzhang /percival

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

eth-sri /securify2

Securify v2.0

s-arash /ascent

Logic programming in Rust

pysemtec /semantic-python-overview

(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)

ekzhang /crepe

Datalog compiler embedded in Rust as a procedural macro

github /codeql-go

The CodeQL extractor and libraries for Go.

rntz /datafun

Research on integrating datalog & lambda calculus via monotonicity types

JordyZomer /lemmalog

A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.

sixthnormal /clj-3df

Clojure(Script) client for Declarative Dataflow.

comnik /declarative-dataflow

A reactive query engine built on differential dataflow.

knowsys /nemo

A fast in-memory rule engine

simongray /clojure-graph-resources

A curated list of Clojure resources for dealing with graph-like data.

c-cube /datalog

OCaml的内存内数据库实现。

msv-lab /modus

A language for building Docker/OCI container images