Place n queens on an n-by-n chess board so that no two queens attack each other (that is, there is exactly one queen in each row, each column and in each diagonal).
INPUT: A set of ground atoms "queen(i)", i=1,2,...,n, where n is the number of queens.
OUTPUT: a placement of the queens satisfying the constraints of the problem
NOTES: