Plangs!
Menu
Sun

Soufflé

Soufflé
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.
Details
General
Appeared 2016
Released 05/2023
Dialect of
Influenced
Influenced By
Licenses
Type Systems
Written With

Written With

NameDescription
C++General-purpose language designed by Bjarne Stroustrup, supporting multiple programming paradigms.