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