View source with raw comments or as raw
    1% Simple clp(r) constraint
    2
    3p(a,b,c,d,A) :-
    4    A #< 5, A #> 1.
    5
    6?- p(A,B,C,D,E).