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

datalog