deductive-database

Here are 5 public repositories matching this topic...

vsov / strata-k

A stratified, semiring-parameterized Datalog and its reference engine — the symbolic core of a neuro-symbolic logic system. Bool/Trop semirings, stratified negation, aggregates, exact probabilistic (?prob) queries, and a stable-model (@asp) solver.

programming-language rust interpreter compiler datalog probabilistic-programming logic-programming semiring answer-set-programming datalog-engine fixpoint neuro-symbolic deductive-database stratified-negation semi-naive-evaluation

Updated Aug 15, 2026
Rust

andrewgoodchild / tiny-datalog

Star

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

tutorial provenance teaching datalog logic-programming answer-set-programming description-logic deductive-database

Updated Aug 30, 2026
Python

fixpoint-linux / datalog-dafsa

Star

DAFSA-backed Datalog engine in C: load facts, compile Datalog to a VM, materialize + serve from mmap snapshots. Docs: https://fixpointlinux.org/datalog-dafsa/