logic-programming

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.

翻译 - Soufflé是Datalog的变体，用于工具设计人员在Horn子句中进行分析。 Soufflé根据逻辑规范合成本地并行C ++程序。