creichen / souffle Goto Github PK
View Code? Open in Web Editor NEWThis project forked from alexdura/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.org/