65linesofcode / souffle Goto Github PK
View Code? Open in Web Editor NEWThis project forked from souffle-lang/souffle
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. More information can be found here:
Home Page: http://souffle-lang.github.io/