souffle-lang 收录中的开源项目，按星标数排序。
Soufflé 是 Datalog 的变体，供工具设计人员使用 Horn 子句制作分析。Soufflé 从逻辑规格中合成原生并行 C++ 程序。
