langston-barrett / 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.

http://souffle-lang.org/

Geek Repo

Github PK Tool