2

述語parent/2を介して親子関係を表す一連の事実が与えられた場合、以下に示すように述語pred1/2およびpred2/2を使用して関係「祖先」(先祖) を定義するときの違いは何ですか?

pred1(X,Z) :- parent(X,Z).
pred1(X,Z) :- parent(X,Y), pred1(Y,Z).

pred2(X,Z) :- parent(X,Z).
pred2(X,Z) :- parent(Y,Z), pred2(X,Y).
4

1 に答える 1