【論理】Prolog【初心者】

[294 デフォルトの名無しさん 2011/10/23(日) 04:32:16.76]

>>293
ここでやってるforはCやJavaのforとは無関係で、Haskellの[from..to]みたいなもの。
処理は、
for(L,X,H), do(X,C).
みたいに書いて、最後にfailさせるかメタ述語で全解生成する。
Haskellなら[ do x | x <- [from..to]]だね。