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

Question

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

我应该在pyDatalog中练习吗？或者我应该选择Prolog？ （但是Datalog和Prolog的语法不同吗？）

谢谢。

Answer 1

“练习数据记录”的含义并不完全清楚。如果您的意思是寻找可以解释Datalog逻辑程序并对其执行查询的程序/实现/引擎，您可能需要查看https://en.wikipedia.org/wiki/Datalog。它有一个实现列表。

由于Datalog是Prolog的子集，因此任何Prolog实现都可能过度。您可能想尝试像DLV这样的实现。 DLV（从“DLV Datalog”搜索）支持Datalog语言，并允许通过答案集语义进行否定和分离的扩展。另一个非常轻量级的纯Datalog实现是Eunomia（搜索“Eunomia Datalog”）。

我没有使用pyDatalog的经验所以我不能说到这一点。