Реализовать разделение списка на два - Prolog

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

Определите отношение divideList(+List, –List1, –List2) таким образом, чтобы элементы списка List попеременно распределялись между списками List1 и List2, причем List1 и List2 имели примерно одинаковую длину, например divideList([a,b,c,d,e],[a,c,e],[b,d]) – истина.

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

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

domains
sym=symbol
syml=sym*
 
predicates
zip(syml,syml,syml)      %% объединение
divlist(syml,syml,syml)  %% разделение
 
clauses
zip(S,S,[]).
zip(S,[],S).
zip([A,B|R],[A|T],[B|Q]) :- zip(R,T,Q).
 
divlist([],[],[]).
divlist([A],[A],[]).
divlist([A,B|R],[A|T],[B|Q]) :- divlist(R,T,Q).
 
 
goal
divlist([a,b,c,d,e,f],A,B),write(A),nl,write(B),nl.

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

Написана структура программы на языке Prolog: domains sym=symbol syml=sym* predicates zip(syml,syml,syml) % объединение divlist(syml,syml,syml) % разделение clauses zip(S,S,[]). zip(S,[],S). zip([A,B|R],[A|T],[B|Q]) :- zip(R,T,Q). divlist([],[],[]). divlist([A],[A],[]). divlist([A,B|R],[A|T],[B|Q]) :- divlist(R,T,Q).
Задана цель: goal divlist([a,b,c,d,e,f],A,B),write(A),nl,write(B),nl.
В коде определены две функции: — Функция zip() выполняет объединение трех списков. — Функция divlist() выполняет разделение одного списка на два.
В функции divlist() реализован рекурсивный алгоритм разделения списка на два. В основе алгоритма лежит принцип разделения пополам: — Если список пустой или состоит из одного элемента, то он разделяется на пустой список и список с элементом. — Если список состоит из двух и более элементов, то рекурсивно вызывается функция divlist() для списка, уменьшенного на один элемент, и двух списков, полученных на предыдущем шаге.
В цели задано вызов функции divlist() с шестью аргументами: — [a,b,c,d,e,f] — список, который нужно разделить на два. — A — первый результат разделения. — B — второй результат разделения.
После вызова функции divlist() происходит вывод результатов на экран с помощью функции write().
В результате выполнения программы на экран будет выведен список A и список B, которые являются результатами разделения исходного списка [a,b,c,d,e,f] на два.