A nondeterministic program to solve ''eight-queens puzzle''

Exercise 2.42 described the ''eight-queens puzzle'' of placing queens on a chessboard so that no two attack each other. Write a nondeterministic program to solve this puzzle.

---