10/01/29 15:56:43
>>502
ゲームはロジックの間に挿入される副作用に値打ちがあるのだから、
述語構成は
r(Z) :- 停止条件(Z),!.
r(X).
r(X) :- filter(X,Y),r(Y).
のステッパ型パターンが望ましいのかな。実際には、
u(X) :- r(X),_副作用,fail.
といった副作用述語が並ぶことになる。
10/01/29 15:56:43
>>502
ゲームはロジックの間に挿入される副作用に値打ちがあるのだから、
述語構成は
r(Z) :- 停止条件(Z),!.
r(X).
r(X) :- filter(X,Y),r(Y).
のステッパ型パターンが望ましいのかな。実際には、
u(X) :- r(X),_副作用,fail.
といった副作用述語が並ぶことになる。