9 lines
183 B
Text
9 lines
183 B
Text
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).
|