このディレクトリの索引 % *** 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) .