Rust 中的轻量级 Datalog 引擎
Datafrog 是一款轻量级的 Datalog 引擎,旨在嵌入到其他 Rust 程序中。
Datafrog 没有运行时,而是依赖您构建和反复应用更新规则。
它尝试帮助您正确执行此操作。例如,以下是您可能编写的可达性代码:
使用 Datafrog 进行查询（省略填充 nodes 和 edges 初始关系的部分）。
…如果您想了解更多有关其工作原理的信息,请查看 此博客文章。
Datafrog最初由 Frank McSherry 开发,并已 后来转移到 Rust-lang 托管组织。感谢 Frank!
暂无开放 Issues，或尚未同步最近议题。