1Two examples that encode the n-queens problem.
2
3Example calls:
4    clingo queens1.lp
5    clingo queens2.lp
6
7