View source with formatted comments or as raw
    1s(1).
    2s(X) :- s(X).
    3
    4
    5?-  not s(X).