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