Результат работы предиката в виде головы с неопределённым хвостом - Prolog

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

Есть задача:

Напишите предикат p(+V, -L) - истинный тогда и только тогда, когда список L получается после удаления всех повторных вхождений элементов в список V, например, ?- p([a, b, c, d, d, a], X). X=[a, b, c, d]; No

И написал я такое решение:

p2([H|T],T1):- member(H,T1),!,p2(T,T1).
p2([H|T],[H|T1]):- p2(T,T1).
p2([],_).

Объясните, люди добрые, почему у меня результат выводится в виде головы с неопределённым хвостом?

?- p2([a,b,c,d,d,a],X).
X = [a, b, c, d|_G16068] ;
false.

Решение задачи: «Результат работы предиката в виде головы с неопределённым хвостом»

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

                            p2([H|T], T1) :- 
    p2(T, T1),
    member(H,T1),
    !.
p2([H|T], [H|T1]) :- 
    p2(T, T1).
p2([], []).
                        