помогите написать комментарии к задаче на прологе пожалуйста

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

domains

list=integer*

predicates
list_splittihg(list,list,list)
clauses
list_splittihg([],[],[]).
list_splittihg([X],[X],[]).


list_splittihg([X,Y|L1],[X|L2],[Y|L3]):-
list_splittihg(L1,L2,L3).


goal
list_splittihg([1,2,3,4,5,6,7,8],L2,L3).

ну как бы всё просто: смотришь в документации что такое предикаты, что такое клаузы, что такое цель. Вот вам ссылка, студент, учите!