为什么以下 Datalog 程序是等效的？
对于某些存在谓词 a,b 为什么 this: q(X,Y) <-- a(X,Y), q(Z,Y) q(X,Y) <-- b(X,Y) 等价于 this: q(X,Y) <-- a(X,Y), b(Z,Y) q(X,Y) <-- b(X,…
Datalog、CLIPS、Prolog
和很多程序员一样，我在大学里学过 Prolog，但只学了很少的部分。我理解Prolog和Datalog密切相关，但是Datalog更简单？另外，我相信我读到 Datalog 不…
- 共 1 页
- 1
