Задача со списками (SWI-Prolog)

Формулировка задачи:

Доброго времени суток, Есть 2 задачи на списки: 1. Разделить список на две части так, чтобы они состояли из всех последовательных элементов исходного списка и имели примерно одинаковый размер, например: [a, b, c, d, e] -> [a, b, c], [d, e] 2. Перемешать элементы двух списков друг с другом в порядке их следования, например: [a, b, c, d, e], [1, 2, 3] -> [a, 1, b, 2, c, 3, d, e] По первой задаче накопал, тут же на форуме, разбиение списка с чётным количеством элементов на 2 списка, а как реализовать с нечетным количеством не могу понять..

sep(L,A,B):-length(L,N),N1 is N/2,sep(N1,L,A,B).
sep(0,B,[],B).
sep(N,[H|Tail],[H|TailA],B):-N>0,N1 is N-1,sep(N1,Tail,TailA,B).

По второй долго ковырял, но так и не смог понять как ему передавать элементы по очереди.. Думаю что как-то связано с головой списка, т.е. передавать голову первого списка в пустой результирующий список, потом голову второго списка, а что дальше - хз.. Может как-то голову удалить, и соответствено перезаписать остаток списка как новый, а потом по новой голову в конец результирующего списка.. В прологе новичок совсем. Подскажите в какую сторону двигаться? Заранее спасибо.

Решение задачи: «Задача со списками (SWI-Prolog)»

Листинг программы

zames(L, [], L).
zames([], L, L).
zames([H1|L1], [H2|L2], [H1,H2|L]) :-
    zames(L1, L2, L).

Объяснение кода листинга программы

Код представляет собой реализацию функции zames для работы со списками в языке программирования Prolog. Описание работы функции:

Если первый аргумент (L) является пустым списком, то возвращается второй аргумент ([]).
Если второй аргумент (L) является пустым списком, то возвращается третий аргумент ([]).
Если все три аргумента (L, H1, H2) не являются пустыми списками, то рекурсивно вызывается функция zames с новыми значениями аргументов (L1, L2, L).
В этом случае, новый список (L) будет состоять из первого элемента (H1) и результатов рекурсивного вызова функции zames для оставшихся элементов списков (L1, L2). Пример вызова функции: ?- zames([1,2,3], [4,5,6], L). L = [1, 2, 3, 4, 5, 6].