Где ошибка? - Prolog (226601)

Формулировка задачи:

В книжный магазин пришли четыре подруги: Соколова, Ястребова, Орлова и Голубева. Одна из них искала книгу «Поющие в терновнике», другая – «Финансиста», третья – «Охоту на овец», четвёртая – «Заводной апельсин». Соколова не искала книги «Поющие в терновнике» и «Заводной апельсин». Орлова – не искала книги «Охота на овец» и «Поющие в терновнике». Голубева не искала книги «Заводной апельсин» и «Поющие в терновнике». Если Ястребова искала книгу «Поющие в терновнике», то Голубева искала книгу «Финансист». Ястребова не искала книги «Заводной апельсин» и «Охота на овец». Какая девушка какую книгу искала?

                    Листинг программы
                
 
                        
                          
                    
solve(List) :-
    List = [go('Соколова', _), go('Ястребова', _), go('Орлова', _),go('Голубева', _)],
 
    member(go(_, 'Поющие в терновнике'), List),
    member(go(_, 'Финансист'), List),
    member(go(_, 'Охота на овец'), List),
    member(go(_, 'Заводной апельсин'), List),
    
    not(member(go('Соколова', 'Поющие в терновнике'), List)),
    not(member(go('Соколова', 'Заводной апельсин'), List)),
    not(member(go('Орлова', 'Охота на овец'), List)),
    not(member(go('Орлова', 'Поющие в терновнике'), List)),
    not(member(go('Голубева', 'Заводной апельсин'), List)),
    not(member(go('Голубева', 'Поющие в терновнике'), List)),
    
member(go('Ястребова', 'Поющие в терновнике'),List):- member(go('Голубева', 'Финансист'), List),
 
    not(member(go('Ястребова', 'Заводной апельсин'), List)),
    not(member(go('Ястребова', 'Охота на овец'), List)).

Где в 16-ой строке ошибка? Помогите найти.

Решение задачи: «Где ошибка?»

Листинг программы

?- solve(List).
List = [go('Соколова', 'Охота на овец'), go('Ястребова', 'Поющие в терновнике'), go('Орлова', 'Заводной апельсин'), go('Голубева', 'Финансист')] .

Объяснение кода листинга программы

В данном коде выполняется поиск ошибки в списке, представленного в виде List. Каждый элемент списка содержит название и значение переменной, разделенные символом '='. Переменные могут быть представлены в виде строк (в кавычках) или чисел.

В первой строке кода происходит вызов функции solve(List), где List - это список, который нужно проверить на наличие ошибок.
Список List представлен в виде списка кортежей, где каждый кортеж содержит две части: название переменной (строка в кавычках) и значение переменной (строка или число).
Функция solve(List) проверяет каждый элемент списка на наличие ошибок. Если ошибка найдена, то она будет выведена на экран.
В данном случае, список List содержит 4 элемента, каждый из которых представлен в виде go(название_переменной, значение_переменной).
Названия переменных: 'Соколова', 'Ястребова', 'Орлова', 'Голубева'.
Значения переменных: 'Охота на овец', 'Поющие в терновнике', 'Заводной апельсин', 'Финансист'. Таким образом, данный код проверяет список на наличие ошибок, сравнивая названия и значения переменных. Если какая-либо переменная не соответствует ожидаемому формату (например, название переменной не является строкой или значение переменной не является строкой или числом), то будет выведена ошибка.