Определить функцию на Prolog, разбивающую список на пары: (A B C D) —> (A B) (C D)

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

Всем привет! Помогите,пожалуйста, вот с такой задачей: Определить функцию, разбивающую список на пары: (A B C D) —> ((A B) (C D)). Заранее огромное спасибо)

Решение задачи: «Определить функцию на Prolog, разбивающую список на пары: (A B C D) —> (A B) (C D)»

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

pair([X, Y|T1], [[X,Y]|T2]) :-
    !,
    pair(T1, T2).
pair(_, []).

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

Функция pair принимает два аргумента: [X, Y|T1] и [[X,Y]|T2].
Функция pair разбивает первый аргумент на две части: X и Y.
Затем функция pair рекурсивно вызывает саму себя, передавая в качестве аргументов T1 и T2.
Если T1 пустой, то функция pair завершает свою работу и возвращает результат.
Результатом работы функции pair будет список пар, в котором каждый элемент списка содержит две пары.