datalog - 为什么以下 Datalog 程序是等效的？

Question

对于一些存在谓词 a,b 为什么会这样：

q(X,Y) <-- a(X,Y), q(Z,Y)
q(X,Y) <-- b(X,Y)

相当于：

q(X,Y) <-- a(X,Y), b(Z,Y)
q(X,Y) <-- b(X,Y)

? 为什么顶级递归不能继续扩大？

score 3 · Accepted Answer

3

于 2010-12-14T21:30:33.000 回答

1 回答 1