#maxint=21.

q(X,1) v q(X,2) v q(X,3) v q(X,4) v q(X,5) v q(X,6) v q(X,7) v q(X,8) v
q(X,9) v q(X,10) v q(X,11) v q(X,12) v q(X,13) v q(X,14) v q(X,15) v q(X,16) v q(X,17) v q(X,18) v q(X,19) v q(X,20) v q(X,21) :- #int(X), X > 0.

:- q(X,Y), q(Z,Y), X <> Z.
:- q(X,Y), q(A,B), A=X+N, B=Y+N, N > 0.
:- q(X,Y), q(A,B), A=X+N, Y=B+N, N > 0.

