Souffle is a variant of Datalog for tool designers crafting analyses
in Horn clauses. Souffle synthesizes a native parallel C++ program
from a logic specification.

Homepage:
https://souffle-lang.github.io/
