% modification University of Kentucky's original

1 { q(X, Y) : d(Y) } 1 :- d(X).
1 { q(Y, X) : d(Y) } 1 :- d(X).

:- d(I), q(X,Y), q(X+I,Y+I).
:- d(I), q(X,Y), q(X+I,Y-I). 

d(1..queens).

#hide.
#show q(X,Y).