Soufflé (programming language)
Parallel logic programming language / From Wikipedia, the free encyclopedia
Soufflé is an open source parallel logic programming language, influenced by Datalog. Soufflé includes both an interpreter and a compiler that targets parallel C++. Soufflé has been used to build static analyzers, disassemblers, and tools for binary reverse engineering. Soufflé is considered by academic researchers to be high-performance and "state of the art," and is often used in benchmarks in academic papers.[2][3][4]
Quick Facts Paradigms, Family ...
Paradigms | Declarative, Logic programming |
---|---|
Family | Datalog |
Stable release | 2.3[1]
|
Typing discipline | Static |
License | UPL |
Filename extensions | .dl |
Website | souffle-lang |
Influenced by | |
Datalog |
Close