p(X,[]).
p(A, [B|C]) :- p(A,C).

?- p(q(a,b),[q(1,4)]) -> write(yes).