百科.dev
全部条目在线工具AI 编程趋势榜开源项目技术资讯提交条目
登录
< 返回工具列表
S

souffle

> 编程语言
开源

Soufflé 是 Datalog 的一个变体,用于工具设计者在 Horn 子句中编写分析。Soufflé 从逻辑说明中合成原生的并行 C++ 程序。

1.1K stars0 点赞2 次浏览
访问官网GitHub

工具介绍

Soufflé 是 Datalog 的一个变体,用于工具设计者在 Horn 子句中编写分析。Soufflé 从逻辑说明中合成原生的并行 C++ 程序。

欢迎来到 Soufflé 语言项目的官方仓库。 Soufflé 语言类似于 Datalog（但具有称为记录的术语），常被用作分析问题的特定领域语言。

  • 递归定义的记录类型/ADT（又称构造函数）用于元组

如果您为旧版本的 Souffle 写了代码,请使用命令行标志 --legacy。或者,请在源代码的开头添加以下一行:

Issues· 0 开放

查看全部 Issues在 GitHub 打开

暂无开放 Issues，或尚未同步最近议题。

> 标签

C++dataloglogic-programmingsoufflestatic-code-analysis

暂无评论，来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日
最后更新2026年9月17日
分类编程语言
定价开源

> 相关工具

T
TypeScript
JavaScript 的超集，为前端与全栈提供静态类型
P
Python
通用编程语言，广泛用于 Web、数据与 AI
G
Go
Google 推出的简洁高效系统语言