p([]).
p([X | T]) :- q(X), p(T).

q(1).
?- p([1 | T]).