Решение задачи на Prolog

Для предиката p на Прологе описаны правила:

p(_,[],[]):-!.

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

p(X, [Z|L1], [Z|L2]):- P(X,L1,L2).

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