このディレクトリの索引

#  for example, i create list following
#  
#  length(List,5),
#  List :: 1..5,
#  I want to set second element of list, it looks like List[1] :: 1..2 %List, from 0 to 4
#  
#  I don't know how to realize it ?
#  
#  thanks very much :)

第二要素だけ1から2の範囲でその他の要素が1から5の範囲の要素数5のリスト(_リスト) :-
        要素数5のリスト(_リスト),
        第二要素だけ1から2の範囲で(_リスト,_他の要素のリスト),
        他の要素が1から5の範囲(_他の要素のリスト).

要素数5のリスト(_リスト) :-
        length(_リスト,5).

第二要素だけ1から2の範囲で(_リスト,_他の要素のリスト) :-
        length(L0,1),
        append(L0,[_第二要素|R],_リスト),
        for(1,_第二要素,2),
        append(L0,R,_他の要素のリスト).

他の要素が1から5の範囲([]).
他の要素が1から5の範囲([N|R]) :-
        for(1,N,5),
        他の要素が1から5の範囲(R).