View source with formatted comments or as raw
    1member(X,[X|T]).
    2member(X,[Y|T]) :- X\=Y, member(X,T)