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
Jul 8, 2026 - Rust