Составные объекты в prolog, запрос

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

Добрый день! Всех с праздниками Есть такая задачка, дан составной объект

имеет('Олег', книга('Пушкин','Капитанская дочка')).
имеет('Лена', книга('Монтень','Опыты')).

написать запрос к базе. Кто имеет книгу Монтеня. я пишу вот так :

 имеет(Кто,книга('Монтень',_)).

Но понимаю, что не правильно так. Как правильно написать запрос ?

Решение задачи: «Составные объекты в prolog, запрос»

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

имеет(Кто, книга(Автор, Название)).

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

В данном коде используется язык программирования Prolog. Ниже приведено объяснение по шагам:

имеет(Кто, книга(Автор, Название)) - это факт, который говорит о том, что у персоны Кто есть книга с автором Автор и названием Название. Здесь Кто, Автор и Название являются переменными, которые могут быть заменены на конкретные значения.
Этот факт может быть использован для выполнения запросов на поиск информации о книгах, например, поиск всех книг определенного автора или всех книг, которые есть у определенной персоны.
Для выполнения запросов в Prolog используется синтаксис, основанный на логическом программировании. Это означает, что Prolog пытается найти решение для заданного вопроса, используя имеющиеся факты и правила.
Если есть другие факты или правила, которые связаны с этим фактом, Prolog может использовать их для вывода дополнительных результатов.
Например, если есть другой факт имеет(Кто, книга(Автор, Название)), где Кто и Автор совпадают с предыдущим фактом, а Название отличается, Prolog может использовать этот факт для вывода информации о книге с другим названием.
В целом, данный код представляет собой простой пример использования Prolog для работы с составными объектами, такими как книги, и выполнения запросов на основе имеющихся фактов.