如何实现基本的 Datalog 解释器？

Question

我正在寻找有关如何实现基本 Datalog 解释器的好教程，以供学习之用。我找到了很多讨论如何使它们更快或添加一些功能的论文，但 none 描述了如何实现基本功能。

Answer 1

这是一个示例实现，Java 包含源代码：

http://abcdatalog.seas.harvard.edu/

开发人员在他们的目标中明确提到促进研究和教学。

这里也有很多开源项目的链接：

https://en.wikipedia.org/wiki/Datalog#Systems_implementing_Datalog

祝你好运！