% Rational number constraint

p(X) :-
    X #> 1/3 + 1/4.

?- p(X).