View source with formatted comments or as raw
    1% Rational number constraint
    2
    3p(X) :-
    4    X #> 1/3 + 1/4.
    5
    6?- p(X).