练习 Datalog 的最佳方法？答案

【问题标题】：Best way to practise Datalog?练习 Datalog 的最佳方法？
【发布时间】：2017-10-10 20:06:48
【问题描述】：

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

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

谢谢。

【问题讨论】：

见DES。它是用 SWI-Prolog 编写的。
我正在尝试运行 des_acide.jar 来安装 DES。它没有运行。

【解决方案1】：

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

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

我没有使用 pyDatalog 的经验，所以我无法谈论它。

【讨论】：