plangs!

Programming Language

Soufflé

Appeared 2016

Open source parallel logic programming language, influenced by Datalog, featuring both an interpreter and a compiler that targets parallel C++. Designed for large-scale static analysis, it allows for rapid prototyping in logic-based problem solving, and is used primarily for building static analyzers, disassemblers, and binary reverse engineering tools.

HomepageGitHubWikipediaMarkdownEdit

Influence graph

Influence graph for Soufflé: 2 influencing languages, 1 family linksProlog influenced DatalogDatalog influenced SouffléSoufflé is a dialect of DatalogPrologDatalogSoufflé
Solid arrows: influence, oldest at the top. Dashed: compiles to / is a dialect of / implements.

Paradigms

Platforms

Type Systems

Dialect of

Influenced By

Influenced

Written With

Licenses

Tags