View source with formatted comments or as raw
    1p([]).
    2p([X | T]) :- q(X), p(T).
    3
    4q(1).
    5?- p([1 | T]).