FICHA · AUR
souffle-git
Soufflé is a translator of declarative Datalog programs into the C++ language
- Datalog compiler
- CLI
- Dev
- COMPILER
- Launchable
- Runs in terminal
· official+codex · reviewed · Jun 4, 2026 description in en
Datalog rules can be compiled into C++ for high-performance program analysis and logic processing. Developers run `souffle` to translate, build, and execute Datalog programs. Generated code and input facts should be treated like normal development artifacts.
How to run
souffle
Commands: souffle
Permissions
Permissions not analysed for this source yet.