prolog - Prolog 相对于 Datalog 的优势

Question

我一直在尝试了解在特定上下文中使用 Prolog 是否比 Datalog 有很大的优势。Prolog 是图灵完备的，而 Datalog 不是。但是使用 Prolog 还有其他实质性优势吗？

具体的上下文可能是例如关系数据库......最好使用 Prolog 或 Datalog ？

Answer 1

除了 Prolog 的图灵完备性和 vanilla Datalog 的非图灵完备性（Datalog 有扩展其复杂性类的扩展）之外，Datalog 和 Prolog 之间的几个显着差异如下：

1. 在 Datalog 中，规则的顺序或规则中的原子不会对其评估或评估结果产生影响。另一方面，在 Prolog 中，原子的顺序可能意味着终止和非终止之间的差异，或者终止评估的运行时间。Prolog 还提供命令式运算符，例如 cut (!)；典型的 Datalog 实现没有这样的操作符。因此，Datalog 在这个意义上更具声明性。

2. Datalog 实现通常支持自下而上的评估，而 Prolog 实现通常支持自上而下的评估。根据程序的使用方式以及程序要操作的数据大小，每种方法都有优点和缺点。

不确定对您的特定用例的影响。这在很大程度上取决于您要构建的确切内容-是否需要图灵完备性等。