Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
-
Updated
Sep 6, 2018 - Java
#
datalog-engine
Here are 5 public repositories matching this topic...
Naive, bottom-up Datalog semantics, in about 200 lines
-
Updated
Sep 21, 2022 - C#
A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
-
Updated
Mar 17, 2023 - Haskell
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
Datalog on arbitrary Clojure datastructure
-
Updated
Sep 18, 2022 - Clojure
Improve this page
Add a description, image, and links to the datalog-engine topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the datalog-engine topic, visit your repo's landing page and select "manage topics."