DataLog 中的析取

Question

那么 OR 条件是如何在 Datalog-land 中模拟/调用的？

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

Answer 1

现在明白了：这是一种奇怪的语法：析取是由多个同名规则创建的

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

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