datalog和prolog的语义是什么？

Question

数据模拟在集合或多集上操作吗？同样的情况也适用于prolog吗？我没能找到这方面的任何文件。

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中的任何一个。