Datalog Python Packages

cozo-embedded

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

synalog

Logic programming for AI agents: Datalog-family language compiling to optimized SQL

logica

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

tiny-datalog

Datalog as an executable textbook — one readable engine and supporting lessons.

nemo-python

A fast in-memory rule engine

sasy

History-aware AI-agent security policies written in logic (Datalog), enforced on every action

pyxlog

XLOG is a GPU-native logic programming language for unified symbolic reasoning. GPU-accelerated Datalog engine with probabilistic inference, inductive logic programmimg, and neural-symbolic integration.

drolta

A Datalog-inspired query language for expressive queries against SQLite databases in Python

fgraph

A fact graph in a single SQLite file — embedded temporal fact store with time travel, provenance, hybrid search, and MCP for AI agents

vehra-agent-tune

Tune your car with the KTuner you already own, with an AI agent doing the analysis. Reads live data, analyzes logs, writes a new .kcl you review and flash in KTuner.

logseq-mcp-server

Read-only MCP server that lets Claude search and read your LogSeq graph: page context, link traversal and journals by date. Batched Datalog keeps a question to a handful of calls. Native Rust binary, plus Claude Code plugin skills.

linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.

tl-pjrt

Tensor Logic as a StableHLO-emitting DSL for PJRT runtimes

vac-client

VAC Protocol - Capability-based security for AI agents. Task-scoped credentials, receipt-based state, instant revocation.