Не могу понять логику обращения к предикату - Prolog

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

Готовясь к ГОСам, прорешиваю задачки. Затормозил на одной задачке по прологу, с виду простейшей. Для предиката p описаны правила:

p([_], L2, L2):-!
p([X|L1], L2, [X|L]):-p(L1, L2, L).

Какое значение получит L после обращения к: p([1,2,3], [1,2], L) ? Я заочник и Пролог у меня был когда-то там давно. Мне нужно просто дать ответ, какое значение получит L, на это вроде хватало знаний, но вот тут затормозил. Я мыслю, что L=[1,2], а в ответе к задаче [1,2,1,2], где и что я пропустил?

Решение задачи: «Не могу понять логику обращения к предикату»

textual
                            Листинг программы 
                        
                            p([_], L2, L2):-!