% Placement of queens row-by-row

#options -d none

d(1..q).

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