prolog - datalog 和 prolog 的语义是什么？

Question

数据记录是在集合还是多重集合上运行？这同样适用于序言吗？我找不到任何相关文档。

Answer 1

Datalog 的语义是在有限集上定义的。

然而，Prolog 为您提供答案替换序列，并且在 Prolog 具有约束答案的情况下。答案替换可能代表简单的解决方案，如 X = 1 中，但它们也可能代表无限多个解决方案，如 X = [_A,_B,_C] 中。答案替换的序列可以被视为多重集，但由于精确的序列很重要，所以它甚至更加通用。如 X = 1 ； X=2； X = 1。

带有约束的一般答案进一步扩展了这个概念。答案X in 2..sup, X mod 2 #= 0包含无限多个解，它也可能包含有限多个X in 1..3，甚至没有如 X in 2..sup, X mod 2 #= 0, X mod 2 #= 1。