Поменять в списке максимальный и минимальный элемент местами

max([X|Y,M]):- max1(Y,X,M).
max1([B|Y],X,M):- B>X, !, max1(Y,B,M).
max1([_|Y],X,M):- max1(Y,X,M).
max1([],M,M).

emax(M2,M3,[X|Y]):-
  X=M2,
  emax(M2,M3,[M3|Y]).
emax(M2,M3,[_|Y]):-
  emax(M2,M3,Y).
emax(_,_,[]).

swap_values(_, _, [], []) :-
    !.
swap_values(A, B, [A | Tail], Result) :-
    swap_values(A, B, Tail, Result_),
    Result = [B | Result_],
    !.
swap_values(A, B, [B | Tail], Result) :-
    swap_values(A, B, Tail, Result_),
    Result = [A | Result_],
    !.
 
%% Example:
%% ?- swap_values(1,0, [1,0,1,0,1,0], Result).
%% Result = [0, 1, 0, 1, 0, 1].

max([Init | Tail], Max) :-
    max(Tail, Init, Max).
 
max([], A, A) :-
    !.
max([Head | Tail], A, Max) :-
    A_ is max(Head, A),
    max(Tail, A_, Max).

max(A, B, Max) :-
    Max is max(A, B).
max_in_list([Init | Rest], Max) :-
    foldl(max, Rest, Init, Max).
 
min(A, B, Min) :-
    Min is min(A, B).
min_in_list([Init | Rest], Min) :-
    foldl(min, Rest, Init, Min).

%trace
domains 
    i=integer 
    ii=i*
predicates
 change(i,i,ii,ii)
 maxi(ii,i,i)
 mini(ii,i,i)
clauses
 
change(1,2,[A,B|C],[B,A|C]):- !.
change(1,I,[A,B|C],[E,B|D]):- !,
 J=I-1,
 change(1,J,[A|C],[E|D]).
change(I,J,[A|B],[A|C]):-
    I1=I-1, 
    J1=J-1,
    change(I1,J1,B,C).
 
maxi([H|T],R,N):-
maxi(T,R,Nr),R>H,N=Nr+1,!.
maxi([H|_],H,1).
 
mini([H|T],R,N):-
mini(T,R,Nr),R<H,N=Nr+1,!.
mini([H|_],H,1).
 
goal
 clearwindow,
 S=[100,8,4,5,66,2,-7,-9],
 maxi(S,_,M1),
 mini(S,_,M2),
 change(M1,M2,S,S1),
 write("Spisok: ",S),
 write("\n\nResult: ",S1).