souffle-lang / souffle

git clone https://github.com/souffle-lang/souffle.git

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.