Prolog优于Datalog

Question

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

例如，特定的上下文可以是关系数据库.使用Prolog或Datalog更好吗？

Answer 1

除了Prolog的图灵完备性和香草Datalog的非图灵完备性( Datalog的扩展扩展了它的复杂性类)之外，Datalog和Prolog之间的一些显著差异如下：

1. 在Datalog中，规则的顺序或规则中的原子对它们的计算或计算结果没有影响。另一方面，在Prolog中，原子的顺序可能意味着终止和不终止之间的区别，或者终止计算的运行时。Prolog还提供命令式操作符，如cut (!)；典型的Datalog实现没有这样的操作符。因此，Datalog在这个意义上更具有声明性。
2. Datalog实现通常支持自下而上的评估，而Prolog实现通常支持自顶向下的评估.每个程序都有优缺点，这取决于程序打算如何使用，以及程序要操作的数据大小。

不确定具体用例的含义。这在很大程度上取决于你想要构建什么--是否需要图灵完整性等等。