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

Для предиката 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], что это означает?

После обращения к предикату p(2, [1,2,3,2,3], L) значение L будет [1,2,2,3,2,2,3].

Пошаговое объяснение:

1. Правила предиката p:
 — Правило 1: p(_, [], []) :- !.
Базовый случай: если второй аргумент пуст, третий тоже пуст.
 — Правило 2: p(X, [X|L1], [X,X|L2]) :- p(X, L1, L2), !.
Если голова списка совпадает с X, заменяем её на два X и рекурсивно обрабатываем хвост.
 — Правило 3: p(X, [Z|L1], [Z|L2]) :- p(X, L1, L2).
Если голова списка не совпадает с X, оставляем её без изменений и рекурсивно обрабатываем хвост.

2. Обработка списка [1,2,3,2,3]:
 — Элемент 1 (не равен 2): Применяется правило 3.
L = [1 | L2], где L2 — результат обработки [2,3,2,3].
 — Элемент 2 (равен 2): Применяется правило 2.
L2 = [2,2 | L2'], где L2' — результат обработки [3,2,3].
 — Элемент 3 (не равен 2): Применяется правило 3.
L2' = [3 | L2''], где L2'' — результат обработки [2,3].
 — Элемент 2 (равен 2): Применяется правило 2.
L2'' = [2,2 | L2'''], где L2''' — результат обработки [3].
 — Элемент 3 (не равен 2): Применяется правило 3.
L2''' = [3 | L2''''], где `L2'''' — результат обработки [].
 — Пустой список: Применяется правило 1.
L2'''' = [].

3. Сборка результата:
 — L2''' = [3]
 — L2'' = [2,2,3]
 — L2' = [3,2,2,3]
 — L2 = [2,2,3,2,2,3]
 — Итоговый L = [1,2,2,3,2,2,3]

Ответ: L = [1,2,2,3,2,2,3]