练习 Datalog 的最佳方法是什么？
我应该在 pyDatalog 中练习吗？还是我应该选择 Prolog？（但 Datalog 和 Prolog 的语法不是不同吗？）
谢谢你。
问问题
458 次
1 回答
1
您所说的“练习 Datalog”是什么意思并不完全清楚。如果您的意思是您正在寻找可以解释您的 Datalog 逻辑程序并对其执行查询的程序/实现/引擎，您可能需要查看https://en.wikipedia.org/wiki/Datalog。它有一个实现列表。
由于 Datalog 是 Prolog 的一个子集，因此任何 Prolog 实现都可能矫枉过正。您可能想尝试 DLV 之类的实现。DLV（从“DLV Datalog”搜索）支持 Datalog 语言并允许通过答案集语义进行否定和析取的扩展。另一个非常轻量级的纯 Datalog 实现是 Eunomia（搜索“Eunomia Datalog”）。
我没有使用 pyDatalog 的经验，所以我不能说。
于 2017-10-14T16:28:58.343 回答