DataLog中的析取

Question

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

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

Answer 1

现在就了解它：这是一种奇怪的语法：通过使用多个具有相同名称的规则来创建析取

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

这意味着descendant可以满足这两个规则之一。