datalog

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

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