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

Question

我正在寻找一个很好的教程，以了解如何为学习目的实现基本的Datalog解释器。我发现有很多论文讨论如何使它们更快或添加一些功能，但没有一篇描述如何实现基本功能。

Answer 1

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

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

开发人员明确将促进研究和教学法作为其目标之一。

这里也有许多指向开源项目的链接：

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

祝你好运！