|
|
% ===============================================
|
|
|
% Демонстрационные запросы для lab8
|
|
|
% ===============================================
|
|
|
|
|
|
% Запуск демонстрации
|
|
|
demo :-
|
|
|
write('=== ДЕМОНСТРАЦИЯ СЕМЕЙНОЙ БАЗЫ ДАННЫХ ==='), nl, nl,
|
|
|
|
|
|
% 1. Демонстрация проверки пола
|
|
|
write('1. ПРОВЕРКА ПОЛА КОНКРЕТНЫХ ЧЛЕНОВ СЕМЬИ'), nl,
|
|
|
write('=========================================='), nl,
|
|
|
test_gender('ivan'),
|
|
|
test_gender('anna'),
|
|
|
test_gender('petr'),
|
|
|
test_gender('elena'),
|
|
|
nl,
|
|
|
|
|
|
% 2. Демонстрация предикатов men и women
|
|
|
write('2. ПРЕДИКАТЫ MEN И WOMEN'), nl,
|
|
|
write('========================='), nl,
|
|
|
men,
|
|
|
nl,
|
|
|
women,
|
|
|
nl,
|
|
|
|
|
|
% 3. Демонстрация родительских отношений
|
|
|
write('3. РОДИТЕЛЬСКИЕ ОТНОШЕНИЯ'), nl,
|
|
|
write('========================='), nl,
|
|
|
demo_parents,
|
|
|
nl,
|
|
|
|
|
|
% 4. Демонстрация предиката children
|
|
|
write('4. ПРЕДИКАТ CHILDREN(X)'), nl,
|
|
|
write('======================='), nl,
|
|
|
demo_children,
|
|
|
nl,
|
|
|
|
|
|
% 5. Демонстрация материнских отношений
|
|
|
write('5. МАТЕРИНСКИЕ ОТНОШЕНИЯ'), nl,
|
|
|
write('========================'), nl,
|
|
|
demo_mothers,
|
|
|
nl,
|
|
|
|
|
|
% 6. Демонстрация братских отношений
|
|
|
write('6. БРАТСКИЕ ОТНОШЕНИЯ'), nl,
|
|
|
write('====================='), nl,
|
|
|
demo_brothers,
|
|
|
nl,
|
|
|
|
|
|
% 7. Демонстрация отношений братьев и сестер
|
|
|
write('7. ОТНОШЕНИЯ БРАТЬЕВ И СЕСТЕР'), nl,
|
|
|
write('============================='), nl,
|
|
|
demo_siblings,
|
|
|
nl,
|
|
|
|
|
|
write('=== ДЕМОНСТРАЦИЯ ЗАВЕРШЕНА ==='), nl.
|
|
|
|
|
|
% Вспомогательные предикаты для демонстрации
|
|
|
|
|
|
test_gender(Person) :-
|
|
|
write('?- man('), write(Person), write('). -> '),
|
|
|
(man(Person) -> write('true') ; write('false')), nl,
|
|
|
write('?- woman('), write(Person), write('). -> '),
|
|
|
(woman(Person) -> write('true') ; write('false')), nl.
|
|
|
|
|
|
demo_parents :-
|
|
|
write('Примеры запросов:'), nl,
|
|
|
write('?- parent(ivan, petr). -> '),
|
|
|
(parent(ivan, petr) -> write('true') ; write('false')), nl,
|
|
|
write('?- parent(anna, elena). -> '),
|
|
|
(parent(anna, elena) -> write('true') ; write('false')), nl,
|
|
|
write('?- parent(petr, ivan). -> '),
|
|
|
(parent(petr, ivan) -> write('true') ; write('false')), nl,
|
|
|
nl,
|
|
|
write('Поиск всех детей ivan:'), nl,
|
|
|
write('?- parent(ivan, X).'), nl,
|
|
|
forall(parent(ivan, X), (write(' X = '), write(X), nl)).
|
|
|
|
|
|
demo_children :-
|
|
|
write('children(ivan):'), nl,
|
|
|
children(ivan),
|
|
|
nl,
|
|
|
write('children(petr):'), nl,
|
|
|
children(petr),
|
|
|
nl,
|
|
|
write('children(dmitry):'), nl,
|
|
|
children(dmitry).
|
|
|
|
|
|
demo_mothers :-
|
|
|
write('Проверка материнства:'), nl,
|
|
|
write('?- mother(anna, petr). -> '),
|
|
|
(mother(anna, petr) -> write('true') ; write('false')), nl,
|
|
|
write('?- mother(ivan, petr). -> '),
|
|
|
(mother(ivan, petr) -> write('true') ; write('false')), nl,
|
|
|
nl,
|
|
|
write('Поиск матери:'), nl,
|
|
|
write('mother(petr):'), nl,
|
|
|
mother(petr),
|
|
|
write('mother(dmitry):'), nl,
|
|
|
mother(dmitry).
|
|
|
|
|
|
demo_brothers :-
|
|
|
write('Проверка братства:'), nl,
|
|
|
write('?- brother(petr, elena). -> '),
|
|
|
(brother(petr, elena) -> write('true') ; write('false')), nl,
|
|
|
write('?- brother(elena, petr). -> '),
|
|
|
(brother(elena, petr) -> write('true') ; write('false')), nl,
|
|
|
nl,
|
|
|
write('Поиск братьев:'), nl,
|
|
|
write('brothers(elena):'), nl,
|
|
|
brothers(elena),
|
|
|
write('brothers(svetlana):'), nl,
|
|
|
brothers(svetlana).
|
|
|
|
|
|
demo_siblings :-
|
|
|
write('Проверка родства:'), nl,
|
|
|
write('?- b_s(petr, elena). -> '),
|
|
|
(b_s(petr, elena) -> write('true') ; write('false')), nl,
|
|
|
write('?- b_s(elena, petr). -> '),
|
|
|
(b_s(elena, petr) -> write('true') ; write('false')), nl,
|
|
|
write('?- b_s(ivan, petr). -> '),
|
|
|
(b_s(ivan, petr) -> write('true') ; write('false')), nl,
|
|
|
nl,
|
|
|
write('Поиск братьев и сестер:'), nl,
|
|
|
write('b_s(petr):'), nl,
|
|
|
b_s(petr),
|
|
|
write('b_s(dmitry):'), nl,
|
|
|
b_s(dmitry).
|
|
|
|
|
|
% Демонстрация трассировки
|
|
|
trace_demo :-
|
|
|
write('=== ДЕМОНСТРАЦИЯ ТРАССИРОВКИ ==='), nl,
|
|
|
write('Включаем трассировку для предиката men...'), nl,
|
|
|
write('(В интерактивном режиме используйте: trace, men, notrace)'), nl,
|
|
|
nl,
|
|
|
write('Для запуска трассировки выполните:'), nl,
|
|
|
write('make trace'), nl,
|
|
|
nl. |
