View source with formatted comments or as raw
    1valid(X) :-
    2    X#<>1,
    3    not(true).
    4
    5?- valid(X).