souffle-lang/souffle

Soufflé là một biến thể của Datalog dành cho các nhà thiết kế công cụ tạo ra các phân tích bằng mệnh đề Horn. Soufflé tổng hợp một chương trình C++ song song gốc từ đặc tả logic.