一部の存在述語 a,b について、これはなぜですか。
q(X,Y) <-- a(X,Y), q(Z,Y)
q(X,Y) <-- b(X,Y)
これと同等：
q(X,Y) <-- a(X,Y), b(Z,Y)
q(X,Y) <-- b(X,Y)
? 最上位の再帰が拡大し続けることができないのはなぜですか?
一部の存在述語 a,b について、これはなぜですか。
q(X,Y) <-- a(X,Y), q(Z,Y)
q(X,Y) <-- b(X,Y)
これと同等：
q(X,Y) <-- a(X,Y), b(Z,Y)
q(X,Y) <-- b(X,Y)
? 最上位の再帰が拡大し続けることができないのはなぜですか?