# greater.pl -rw-r--r-- 176 bytes View raw 
                                                                                
1
2
3
4
5
6
7
8
9
check_greater_than_five(N) :-
    N #> 5.

%?- check_greater_than_five(N).
%@    clpz:(N in 6..sup)
%@ ;  clpz:(N in 6..sup)
%@ ;  clpz:(N in 6..sup)
%@ ;  clpz:(N in 6..sup).