Skip to content
#

deductive-database

Here is 1 public repository matching this topic...

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.

  • Updated Jul 4, 2026
  • Rust

Improve this page

Add a description, image, and links to the deductive-database topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the deductive-database topic, visit your repo's landing page and select "manage topics."

Learn more