Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Soufflé (programming language)
open-in-new
<p>Soufflé is an <a href="/facts/Open_source/7X9rCdz4">open source</a> <a href="/facts/Parallel_computing/nQzcpzQt">parallel</a> <a href="/facts/Logic_programming/Xgh8lj3F">logic programming language</a>, influenced by <a href="/facts/Datalog/67jbYWDb">Datalog</a>. Soufflé includes both an interpreter and a compiler that targets parallel <a href="/facts/C%252B%252B/Et0F2qn9">C++</a>. Soufflé has been used to build <a href="/facts/Static_analysis/YkJEVPxs">static analyzers</a>, <a href="/facts/Disassembler/4PR39BbK">disassemblers</a>, 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 <a href="/facts/Benchmark_(computing)/XSS42cRe">benchmarks</a> in academic papers. </p>