TupleNet is a lightweight tool for building virtual-networking
-
Updated
Mar 7, 2023 - Python
#
datalog
Here are 37 public repositories matching this topic...
Logic plus python types
python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml
-
Updated
May 21, 2026 - Python
Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.
rules validation rdf semantics semantic-web constraints datalog logic-programming rule-language reasoning souffle-datalog-language linkml
-
Updated
Feb 14, 2024 - Python
JudgeD: Probabilistic Datalog with Dependencies
-
Updated
Nov 7, 2019 - Python
A Discord bot made for assisting on the concepts of Datamodelling and Databases using OpenAI and Python
-
Updated
Feb 13, 2023 - Python
A Datalog interpreter implementing the Well-Founded semantics.
-
Updated
May 22, 2020 - Python
Static taint analyzer for Ethereum smart contracts written in Solidity
-
Updated
Jul 21, 2020 - Python
Perfect memory. Exact reasoning. Complete history for AI agents.
skill opencode datalog knowledge-graph persistent-memory graph-database prompts ai-agents bi-temporal temporal-reasoning context-management claude-code
-
Updated
May 27, 2026 - Python
Okami is a next generation solver for Datalog. It is based on specializating a Datalog's resolution technique to compile a program into a relational algebra abstract machine that is extremely efficient computing solutions for the database
-
Updated
Jul 25, 2017 - Python
A provenance tree generator for recursive Datalog with negation (and Dedalus).
-
Updated
Jun 23, 2018 - Python
Python Tkinter GUI development exercises with Hardware control via Arduino microcontrollers
arduino design gui programming serial robotics datalog tkinter user-interface pyhton symbiotic hardware-control tkinter-gui
-
Updated
Jul 21, 2020 - Python
Embeddings as Probabilistic Equivalence in Logic Programs (NeurIPS2025)
-
Updated
Nov 14, 2025 - Python
Minimal Tensor Logic AI engine in PyTorch – Datalog reasoning as tensor operations (einsum) and neural networks in one framework.
python machine-learning deep-learning pytorch datalog logic-programming tensor-algebra differentiable-programming probabilistic-logic-programming einsum paper-implementation neuro-symbolic neurosymbolic probabilistic-logic neuro-symbolic-ai research-code tensor-logic tensor-logic-ai datalog-reasoning
-
Updated
Dec 6, 2025 - Python
A NMT pipeline between english and Sparql/Datalog queries.
-
Updated
Jun 16, 2023 - Python
Improve this page
Add a description, image, and links to the datalog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the datalog topic, visit your repo's landing page and select "manage topics."