34 Open Source Datalog Software Projects
Free and open source datalog code projects including engines, APIs, generators, and tools.
Souffle 357 ⭐
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Graal 33 ⭐
Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage: