Mangle：一款基于Datalog的开源演绎数据库编程语言
2025-08-18
Mangle 是一款扩展了 Datalog 的开源编程语言，用于演绎数据库编程。它支持聚合、函数调用和可选类型检查等功能，能够将来自多个数据源的数据以统一的方式表示和查询，并用于建模领域知识。Mangle 提供了 Go 语言实现的库，方便开发者嵌入应用。它支持递归规则，并通过示例展示了如何使用 Mangle 查找受 log4j 漏洞影响的软件，以及如何进行分组和聚合操作。虽然牺牲了一定的性能，但其易用性和可扩展性使其成为一个强大的工具。
开发
演绎数据库