DataLog 中的析取

Question

那么 OR 条件 emulated/invoked 在 Datalog-land 中如何？

这可能是关于 DataLog 的最基本的问题，但你好，这是我第一次尝试使用它 ;)

Answer 1

现在知道了：这是一个奇怪的语法：分离是通过具有相同名称的多个规则创建的

myrecursive(X,Y) :- basecase1(Y,X). 
myrecursive(X,Y) :- myrecursive(X,Z),myrecursive(Z,Y).

这意味着 descendant 可能满足这两个规则中的任何一个。