那么,在Datalog-land中如何模拟/调用OR条件呢?
这可能是关于DataLog最基本的问题,但是喂,这是我第一次尝试使用它;)
发布于 2019-06-17 02:29:22
现在明白了:这是一种奇怪的语法:分离是通过具有相同名称的多个规则创建的
myrecursive(X,Y) :- basecase1(Y,X).
myrecursive(X,Y) :- myrecursive(X,Z),myrecursive(Z,Y).这意味着descendant可以满足这两条规则中的任何一条。
https://stackoverflow.com/questions/56623804
复制相似问题