В контексте питона/cи только о фунциональщине и особенно логическом программировании и говорить ...

Классика:

append([],L,L). 
append([H|T],L2,[H|L3])  :-  append(T,L2,L3).
% добавить элемент к списку
?- append([1,2,3],[4],Res).
Res = [1, 2, 3, 4].
% найти префикс
?- append(Prefix,[3|_],[1,2,3,4]).
Prefix = [1, 2]
% найти последний элемент
?- append(_,[Last],[1,2,3,4]).
Last = 4 

В функционально-логическом стиле

-- последний элемент списка
last(_ ++ [e]) = e
более развернуто
last list | append _ [e]  =:= list = e where e free

И где там ваш "декларативный" питон? ;-)