datalog

作者开发了一个基于 Datalog 的 LLM 记忆系统，用于在漏洞研究等调查中保持准确状态，并能在事实变化时自动更新结论。

DDisasm 是一个快速且准确的反汇编器，使用 Datalog 逻辑编程生成可重新汇编的汇编代码，支持多种 ISA 和二进制格式。

一种基于 Google Zanzibar 的 datalog 语言开发的 Lean4 DSL，用于表示和评估知识库，可在 git 下管理，无需重型外部依赖。

本文提出一种形式化理论，用于在受控对话AI系统中定义答案重用，用数学刻画的已解析话语的商空间取代相似性启发式方法。

一篇博客文章，讨论了类似λFS的函数式关系查询语言中的求值顺序与非终止性，并引用了在FLOPS 2026上发表的关于有限函数式编程的论文。

关于Datalog的全面笔记：什么是Datalog，如何用多种语言实现，以及在程序分析中的应用，附带代码示例和资源。

本文介绍了作者的博士论文《解构Datalog》，该论文通过使用最小前缀点和类型系统中的单调性追踪，将Datalog的递归查询能力集成到一门类型化函数式语言（Datafun）中。