练习Datalog的最佳方法？

Question

练习Datalog的最佳方法是什么？

我应该在pyDatalog里练习吗？还是我应该和Prolog一起去？(但对于Datalog和Prolog，语法没有不同吗？)

谢谢。

Answer 1

你所说的“练习Datalog”并不完全清楚。如果您的意思是要寻找一个程序/实现/引擎来解释您的数据逻辑程序并对它们执行查询，那么您可能想看看https://en.wikipedia.org/wiki/Datalog。它有一个实现列表。

由于Datalog是Prolog的一个子集，所以任何Prolog实现都可能会过度使用。您可能想尝试一下像DLV这样的实现。DLV (Searchfrom“DLV Datalog")支持Datalog语言，并允许通过应答集语义进行否定和分离扩展。另一个非常轻量级的纯Datalog实现是Eunomia (搜索"Eunomia Datalog")。

我对pyDatalog没有经验，所以我不能说。