このディレクトリの索引
#  
#  for ループ
#  
#  ?- for(1,N,3),writef('%t\n',[N]),N=3.
#  1
#  2
#  3
#  

for(S,S,S) :- !.
for(S,S,E).
for(S,N,E) :-
        succ(S,E,S1),
        for(S1,N,E).

succ(S,E,S1) :-
        S =< E,
        succ(S,S1),!.
succ(S,E,S1) :-
        S > E,
        succ(S1,S).