souffle-lang

Soufflé 是 Datalog 的變體，供工具設計人員使用 Horn 子句製作分析。Soufflé 從邏輯規格中合成原生平行 C++ 程式。