Из списка сформировать новый список по следующему правилу

domains
  list=real*
  list2=list*
predicates
  input_n(integer)
  input_nn(integer)
  inputmain(list2,integer,integer)
  outputmain(list2)
  outputlist(list)
 
inputlist(list,integer)
trans(list2, list2, integer)
trans(list2, list2, integer, integer)
get_nth(integer, list, real)
nondeterm get_nth_nd(list2, integer, real)
nondeterm member(list, list2)
 
clauses
  input_n(N):-write("Input list count in the list"),readint(N).
  input_nn(N):-write("Input element count in the list"),readint(N).
 
 inputmain([List|MainList],ListN,ElemN):-
     ListN>0,NewListN=ListN-1,
     inputlist(List,ElemN),nl,
     inputmain(MainList,NewListN,ElemN).
  inputmain([],_,_).
 
  inputlist([Element|List],ElemN):-
     ElemN>0,NewElemN=ElemN-1,
     write("Element:"),readreal(Element),
     inputlist(List,NewElemN).
  inputlist([],_).  
 
  outputmain([]).
  outputmain([List|MainList]):-
     write(" [ "),
     outputlist(List),
     write("] "),
     outputmain(MainList).
     
  outputlist([]).
  outputlist([H|T]):-
     write(H),write(" "),
     outputlist(T).
 
 
get_nth(1,[A|_],A):- !.
get_nth(N,[_|L],A):- N1=N-1,get_nth(N1,L,A).
 
get_nth_nd(LL, N, A):- member(L, LL), get_nth(N, L, A).
 
member(A, [A|_]).
member(A, [_|L]):- member(A, L).
 
trans(LL, LL1, N):- trans(LL, LL1, 1, N).
 
trans(LL,[L1|LL1],C,N):-
    C<=N, 
    !,
    findall(X, get_nth_nd(LL, C, X), L1),
    C1=C+1,
    trans(LL,LL1,C1,N).
trans(_,[],_,_).
 
goal
  makewindow(1,2,3,"",0,0,25,80),
  input_n(List_n),input_nn(Element_n),
  inputmain(List,List_n,Element_n),
  write("[ "), outputmain(List), write(" ]"), nl,nl,
  trans(List,ListT,Element_n),
  write("[ "), outputmain(ListT), write(" ]"), nl,nl.