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

p(L, Ans):-max(L, Max), append(Begin, [Max|End], L), !,
    append(Begin, End, Temp), append(Temp,Max,Ans).

DOMAINS
 
    list=integer*
 
PREDICATES
 
    max(list,integer)
    insert(integer,list,list)
    delete(integer,list,list)
 
CLAUSES
    
    max([X],X)    :- !.
    max([X|T],X)  :- max(T,NR),X>NR,!.
    max([_|T],NR) :- max(T,NR).
 
    insert(El,[],[El]).
    insert(El,[A|L],[A|L1]) :- insert(El,L,L1).
    
    delete(_, [], []).
    delete(Y, [Y|Tail], Tail).
    delete(Y, [Z|Tail], [Z|Tail1]) :- delete(Y, Tail, Tail1).
 
GOAL
    
    L=[1,2,8,5,8,4,6], 
    max(L,X), /*Ищем максимум*/
    delete(X,L,L1), /* Удаляем*/
    insert(X,L1,L2),   /*Добавляем в конец*/
    write("L2=",L2), nl. /*L2 = [1,2,5,8,4,6,8]*/

domains
ilist=integer*
predicates
nondeterm max_in(ilist,integer)
nondeterm add(integer,ilist,ilist,integer)
nondeterm input(integer,ilist)
nondeterm start
clauses
input(0,[]):-!.
input(N,[X|T]):-N1=N-1,write("Введите X="),readint(X),input(N1,T).
 
max_in([H|T],H):-max_in(T,Max),H>Max,!.
max_in([_|T],Max):-max_in(T,Max).
max_in([X],X).
 
add(X,[],[X],_).
add(X,[H|T],[H|T1],Mx):-X<>H,add(X,T,T1,Mx);X=H,Mx=1,add(X,T,T1,Mx).
add(X,[H|T],T1,Mx):-X=H,Mx=0,Mx1=Mx+1,add(X,T,T1,Mx1).
 
start:-write("Введите число элементов списка N="),readint(N),
    input(N,L),write("Исходные данные Input=",L),nl,
    max_in(L,X),add(X,L,Lout,0),write("Результат Output=",Lout),nl.
goal
start.