p([A]) :- l([A]).
q([A]).
r(1).
l([]).
l([H|T]) :- r(H),l(T).