Задача по языку Пролог. Какое значение получит L после следующего обращения к этому предикату?

Question

[jane555]

Для предиката p на Прологе описаны правила:
р (_,[ ],[ ] ): - !
p([X,[X|L1],[X,X|L2]): - p(X,L1,L2),!
P (X,[Z|L1],[Z|L2]); - p(X,L1,L2)

Какое значение получит L после следующего обращения к этому предикату
p(2,[1,2,3,2,3],L)?

Подскажите, пожалуйста, как решаются такого рода задачи? Обычно мне попадались задачи, где искомое L в правилах так и оставалась L, а здесь, например, в 3-м правиле L соответствует [Z|L2], что это означает?