import cp.

queens(N, Q) =>
   Q = new_list(N),
   Q :: 1..N,
   all_different(Q),
   all_different([$Q[I]-I : I in 1..N]),
   all_different([$Q[I]+I : I in 1..N]),
   solve([ff],Q).