lista([]).
lista([_]).
lista([_|_]).
 
concatenar([],X,X).
concatenar([H|T],X,[H|Z]) :- lista(X),concatenar(T,X,Z).
 
invertir([],[]).
invertir([H|T],X) :- lista(X),invertir(T,Y),concatenar(Y,[H],X).
 
longitud([],0).
longitud([H|T],L) :- longitud(T,N), L is N+1.
 
mayor(X,X,X).
mayor(X,Y,X) :- X>Y.
mayor(X,Y,Y) :- Y>X.
 
primero([H|T],H).
 
el_mayor([H|[]],H).
el_mayor([H|T],X) :- el_mayor(T,Z),mayor(H,Z,X).