このディレクトリの索引

% *** user: 要素番号によるならびの置換 / 5 ***
要素番号によるならびの置換(E,E,U,[A|R],[U|R]) :- !.
要素番号によるならびの置換(S,E,U,[A|R],[A|R1]) :-
    S1 is S + 1,
    要素番号によるならびの置換(S1,E,U,R,R1) .

% *** user: 要素番号によるならびの置換 / 4 ***
要素番号によるならびの置換(Pos,U,P,Q) :-
    integer(Pos),
    !,
    要素番号によるならびの置換(1,Pos,U,P,Q) .
要素番号によるならびの置換(Pos,U,P,Q) :-
    \+(integer(Pos)),
    \+(Pos =.. [',',Pos1,Rpos]),
    Pos1 is Pos,
    要素番号によるならびの置換(1,Pos1,U,P,Q) .
要素番号によるならびの置換(Pos,U,P,Q) :-
    Pos =.. [',',Pos1,Rpos],
    要素番号によるならびの置換(1,Pos1,Rpos,U,P,Q) .