练习 Datalog 的最佳方式？
Best way to practise Datalog?
练习 Datalog 的最佳方法是什么？
我应该在 pyDatalog 中练习吗？还是我应该使用 Prolog？ （但是 Datalog 和 Prolog 的语法不一样吗？）
谢谢。
"practicing Datalog" 不是很清楚你的意思。如果您的意思是您正在寻找一个可以解释您的 Datalog 逻辑程序并对它们执行查询的 program/implementation/engine，您可能想看看 https://en.wikipedia.org/wiki/Datalog。它有一个实现列表。
由于 Datalog 是 Prolog 的子集，因此任何 Prolog 实现都可能矫枉过正。您可能想尝试像 DLV 这样的实现。 DLV（从 "DLV Datalog" 搜索）支持 Datalog 语言，并允许通过答案集语义进行否定和析取的扩展。纯 Datalog 的另一个非常轻量级的实现是 Eunomia（搜索 "Eunomia Datalog"）。
我没有使用 pyDatalog 的经验，所以我不能说。
练习 Datalog 的最佳方法是什么？
我应该在 pyDatalog 中练习吗？还是我应该使用 Prolog？ （但是 Datalog 和 Prolog 的语法不一样吗？）
谢谢。
"practicing Datalog" 不是很清楚你的意思。如果您的意思是您正在寻找一个可以解释您的 Datalog 逻辑程序并对它们执行查询的 program/implementation/engine，您可能想看看 https://en.wikipedia.org/wiki/Datalog。它有一个实现列表。
由于 Datalog 是 Prolog 的子集，因此任何 Prolog 实现都可能矫枉过正。您可能想尝试像 DLV 这样的实现。 DLV（从 "DLV Datalog" 搜索）支持 Datalog 语言，并允许通过答案集语义进行否定和析取的扩展。纯 Datalog 的另一个非常轻量级的实现是 Eunomia（搜索 "Eunomia Datalog"）。
我没有使用 pyDatalog 的经验，所以我不能说。