Вариант 2 (4)
Остава да определим safe. Може да разгледаме два случая:
(1) S е празният списък. Тогава той очевидно е безопасен.
(2) S не е празен списък и има вида [Q|Rest]. Тогава той е безопасен, ако списъкът Rest е безопасен и Q не бие нито една царица от списъка Rest.