Задача о библиотеке

@nata18 · Регистрация: 13.02.2011

Студворк — интернет-сервис помощи студентам

Тема: Использование составных доменов.

задача:
Объявить отношение вида владелец (имя, книга), где второй объект книга является функтором составленного домена книга (автор, название, год_издания). Здесь объекты имя, автор, название принадлежат домена символических имен symbol или строк символов string; объект год_издания является целым числом домена integer. Книголюбом считается владелец не менее пяти произвольных книг. Фанатом считается владелец не менее трех книг некоторого автора. Ретро-букинистом считается владелец старинных изданий (год издания до 1900). Построить соответствующие правила, которые определяют всех книголюбов, фанатов и ретро-букинистов. В программе задать некоторое количество фактов о владельцах книг с информацией об авторе, название и год издания.
найти:
a) всех книголюбов;
b) всех фанатов творчества Пушкина;
c) владельцев старинных изданий "Кобзаря";
d) тех кто не имеет ни одного произведения Ленина.
Использовать как внутреннюю так и внешнюю целевую цель.

Я написала основной код, но не могу понять как описать книголюбов, рэтро-букинистов и фанатов....
ПОМОГИТЕ...

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
domains
    kniga=kniga(nazva,avtor,rik)
    nazva,avtor,imya=string
    rik=integer
 
predicates
    vlasnik(imya,kniga)
    knigolyub(imya,kniga)
    fanat(imya,kniga)
    retrobukinist(imya,kniga)
clauses
    vlasnik("Natasha",kniga("Yevgeniy Onyegin","Pushkin",1825)).
    vlasnik("Natasha",kniga("Ruslan i Lyudmila","Pushkin",1820)).
    vlasnik("Natasha",kniga("Sh4o robutu","Lenin",1902)).
    vlasnik("Sasha",kniga("Derzhava i revolyucia","Lenin",1917)).
    vlasnik("Natasha",kniga("Ruslan i Lyudmila","Pushkin",1820)).
    vlasnik("Natasha",kniga("Derzhava i revolyucia","Lenin",1917)).
    vlasnik("Nastia",kniga("Sh4o robutu","Lenin",1902)).
    vlasnik("Nastia",kniga("Ruslan i Lyudmila","Pushkin",1820)).
    vlasnik("Natasha",kniga("Kobzar","Shev4enko",1840)).
    vlasnik("Nastia",kniga("Kobzar","Shev4enko",1882)).
    vlasnik("Sasha",kniga("Kobzar","Shev4enko",1890)).
    vlasnik("Valia",kniga("Derzhava i revolyucia","Lenin",1917)).
    vlasnik("Nastia",kniga("Kobzar","Shev4enko",2010)).
    vlasnik("Nastia",kniga("Kobzar","Shev4enko",2010)).
    vlasnik("Nastia",kniga("Prolog","Solomon",1996)).
    vlasnik("Valia",kniga("Alhimik","Koelyo",1988)).
    vlasnik("Valia",kniga("Valkirii","Koelyo",1992)).
    vlasnik("Valia",kniga("Zair","Koelyo",2005)).

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .