souffle-lang

Soufflé は、ホーン節で解析を作成するツール設計者向けの Datalog のバリアントです。論理仕様からネイティブな並列 C++ プログラムを合成します。