p(integer),q(integer),r(integer)フロー モデル(o)とpredicate で述語化された Prolog を考えてみましょうs。
p(1). q(1). r(1).
p(2). q(2). r(2).
s:-!,p(X),q(Y),r(Z),write(X,Y,Z),nl.
次の目標の結果を教えてください: s. 答えを正当化します。
結果は 111,112,121,122,211,212,221,222 です。節の先頭にある場合、カットは効果がないことがわかりました。これは本当ですか？