leyu2048 / 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.
Home Page: http://souffle-lang.github.io/