Вариант 1 (9)
Остава да напишем notbeat:notbeat(Q,QList).
Неговото описание отново може да се разбие на два случая:
(1) Ако QList е празен списък, тогава условието е изпълнено.(2) Ако QList не е празен списък, то той ще има вида [Q1| RestQ] и трябва да отговаря на следните две условия: (а) царицата на поле Q не трябва да бие царицата на поле Q1 и (б) царицата на поле Q не трябва да бие нито една от цариците в списъка RestQ.