% Placement of queens column-by-column

#options -d none

d(1..q).

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