Не могу прочитать правильно предложение (суть рекурсии) - Prolog

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

Помогите пожалуйста понять смысл. Прочитайте, как правильно это действует? Я путаюсь в рекурсии

prefix1(X,[]).
prefix1([X|Xs],[X|Y]):-prefix1(Xs,Y).

Вот результат работы:

?- prefix1([1,3,4],X).
X = [] ;
X = [1] ;
X = [1, 3] ;
X = [1, 3, 4].

Решение задачи: «Не могу прочитать правильно предложение (суть рекурсии)»

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

[trace]  ?- prefix1([1,3,4],X).
   Call: (6) prefix1([1, 3, 4], _G1154) ? creep
   Exit: (6) prefix1([1, 3, 4], []) ? creep
X = [] ;
   Redo: (6) prefix1([1, 3, 4], _G1154) ? creep
   Call: (7) prefix1([3, 4], _G1229) ? creep
   Exit: (7) prefix1([3, 4], []) ? creep
   Exit: (6) prefix1([1, 3, 4], [1]) ? creep
X = [1] ;
   Redo: (7) prefix1([3, 4], _G1229) ? creep
   Call: (8) prefix1([4], _G1232) ? creep
   Exit: (8) prefix1([4], []) ? creep
   Exit: (7) prefix1([3, 4], [3]) ? creep
   Exit: (6) prefix1([1, 3, 4], [1, 3]) ? creep
X = [1, 3] ;
   Redo: (8) prefix1([4], _G1232) ? creep
   Call: (9) prefix1([], _G1235) ? creep
   Exit: (9) prefix1([], []) ? creep
   Exit: (8) prefix1([4], [4]) ? creep
   Exit: (7) prefix1([3, 4], [3, 4]) ? creep
   Exit: (6) prefix1([1, 3, 4], [1, 3, 4]) ? creep
X = [1, 3, 4].

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

Код, представленный в формате trace, является отладчиком для проверки правильности работы программы на языке Prolog. В данном случае, программа проверяет правильность работы рекурсивной функции prefix1, которая принимает два аргумента: список чисел и список результатов. Рекурсивная функция prefix1 проверяет каждый элемент списка чисел. Если список пустой, то возвращается пустой список результатов. Если список не пустой, то функция вызывается рекурсивно для оставшейся части списка чисел и к результату добавляется первый элемент списка чисел. Список X содержит результаты работы функции prefix1. При каждой итерации рекурсии, список X обновляется новым списком результатов. Используя этот код, можно проверить правильность работы рекурсивной функции prefix1 для списка чисел [1, 3, 4]. В результате работы программы, список X должен содержать [1, 3, 4].