Вариант 1 (3)
Нашата процедура solution трябва да намери подходящо свързване на променливите X1,Y1,X2,Y2,..., X8,Y8. Ясно е че всички царици трябва да се намират на различни вертикали, ето защо можем да ограничим начина на разполагане, за да облекчим решението. Можем да фиксираме X-координатата, тогава списъкът даващ решението трябва да има вида:[1/Y1, 2/Y2, 3/Y3, 4/Y4, 5/Y5, 6/Y6, 7/Y7, 8/Y8]