deductive-database

Here are 8 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

Alpha-Park / genpark-horn-clause-forward-backward-chaining-skill

Star

Definite Horn clause deductive engine supporting forward chaining fixpoint and goal-directed backward chaining

mcp logic-programming backward-chaining horn-clauses python-standard-library forward-chaining automated-inference expert-systems rule-based-reasoning agent-skills deductive-database

Updated Sep 28, 2026
Python

alphaparkinc / genpark-horn-clause-forward-backward-chaining-skill

Star

Definite Horn clause deductive engine supporting forward chaining fixpoint and goal-directed backward chaining

mcp logic-programming backward-chaining horn-clauses python-standard-library forward-chaining automated-inference expert-systems rule-based-reasoning agent-skills deductive-database

Updated Sep 28, 2026
Python

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 Oct 3, 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/

c database compiler virtual-machine data-structures datalog query-engine snapshot-isolation time-travel dafsa finite-state-automata memory-mapped materialized-views incremental-view-maintenance deductive-database as-of-query

Updated Sep 30, 2026
Zig

forkwright / mneme

Star

Deductive storage engine for the fleet - Datalog facts, rules, and incrementally maintained views

rust database datalog logic-programming deductive-database forkwright

Updated Sep 3, 2026

jmars / logical-english

Star

Logical English (Kowalski 2020) compiled to Datalog, and back: a compiler, an LPS reactive-rule driver, a meta-level use/mention embedding, and a reverse Datalog->LE renderer.