このディレクトリの索引

swap(A,B,L,LX) :-
    append(L1,[A|L2],[B|L3],L),
    append(L1,[B|L2],[A|L3],LX),!.
swap(A,B,L,LX) :-
    値による,
    append(L1,[B|L2],[A|L3],L),
    append(L1,[A|L2],[B|L3],LX),!.

要素番号によるならびの交換(M,N,_対象ならび,_交換したならび) :-
    要素番号による,
    M1 is M - 1,
    N1 is N - 1,
    append(L1,[A|R1],_対象ならび),
    length(L1,M1),
    append(L2,[B|R2],_対象ならび),
    length(L2,N1),
    append(L1,[B|R1],L3),
    append(L4,[_|R3],L3),
    length(L4,N1),
    append(L4,[A|R3],_交換したならび),!.