View source with raw comments or as raw
    1n(0).
    2n(s(X)) :- n(X)