Обработка списков - Prolog (226819)

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

Помогите, пожалуйста, с задачей. Необходимо определить новые предикаты, которые работают со списками любой длины. И задание:

Создать из простого списка структурированный с подсписками по 2 элемента.

Решение задачи: «Обработка списков»

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

                            domains
list = integer*
listlist = list*
 
predicates
p(list, listlist)
 
clauses
p([X,Y|T1], [[X,Y]|T2]) :- 
    !,
    p(T1, T2).
p(_, []).
 
goal
L1 = [1, 2, 3, 4, 5, 6],
p(L1, L2),
write(L2).
                        