|
|
% ===============================================
|
|
|
% Демонстрационные запросы для lab8 task3
|
|
|
% Расширенные семейные отношения
|
|
|
% ===============================================
|
|
|
|
|
|
% Запуск демонстрации
|
|
|
demo :-
|
|
|
write('=== ДЕМОНСТРАЦИЯ ЗАДАНИЯ 3: РАСШИРЕННЫЕ СЕМЕЙНЫЕ ОТНОШЕНИЯ ==='), nl, nl,
|
|
|
|
|
|
% 1. Демонстрация отношений внучка
|
|
|
write('1. ОТНОШЕНИЯ ВНУЧКА'), nl,
|
|
|
write('=================='), nl,
|
|
|
demo_granddaughter_relationships,
|
|
|
nl,
|
|
|
|
|
|
% 2. Демонстрация отношений дедушка-внучка
|
|
|
write('2. ОТНОШЕНИЯ ДЕДУШКА И ВНУЧКА'), nl,
|
|
|
write('============================='), nl,
|
|
|
demo_grandfather_granddaughter,
|
|
|
nl,
|
|
|
|
|
|
% 3. Демонстрация отношений тетя
|
|
|
write('3. ОТНОШЕНИЯ ТЕТЯ'), nl,
|
|
|
write('================='), nl,
|
|
|
demo_aunt_relationships,
|
|
|
nl,
|
|
|
|
|
|
% 4. Сравнение реализаций
|
|
|
write('4. СРАВНЕНИЕ РЕАЛИЗАЦИЙ'), nl,
|
|
|
write('======================='), nl,
|
|
|
demo_implementation_comparison,
|
|
|
nl,
|
|
|
|
|
|
% 5. Расширенная информация о семье
|
|
|
write('5. РАСШИРЕННАЯ ИНФОРМАЦИЯ О СЕМЬЕ'), nl,
|
|
|
write('================================='), nl,
|
|
|
demo_extended_family_info,
|
|
|
nl,
|
|
|
|
|
|
write('=== ДЕМОНСТРАЦИЯ ЗАДАНИЯ 3 ЗАВЕРШЕНА ==='), nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Демонстрация отношений внучка
|
|
|
% -----------------------------------------------
|
|
|
demo_granddaughter_relationships :-
|
|
|
write('Проверка отношений внучка:'), nl,
|
|
|
|
|
|
% Тесты с использованием grand_da
|
|
|
write('?- grand_da(svetlana, ivan). -> '),
|
|
|
(grand_da(svetlana, ivan) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- grand_da(victoria, anna). -> '),
|
|
|
(grand_da(victoria, anna) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- grand_da(katya, olga). -> '),
|
|
|
(grand_da(katya, olga) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- grand_da(dmitry, ivan). -> '),
|
|
|
(grand_da(dmitry, ivan) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
write('Поиск всех внучек:'), nl,
|
|
|
write('grand_dats(ivan):'), nl,
|
|
|
grand_dats(ivan),
|
|
|
nl,
|
|
|
|
|
|
write('grand_dats(anna):'), nl,
|
|
|
grand_dats(anna),
|
|
|
nl,
|
|
|
|
|
|
write('grand_dats(sergey):'), nl,
|
|
|
grand_dats(sergey),
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Демонстрация отношений дедушка-внучка
|
|
|
% -----------------------------------------------
|
|
|
demo_grandfather_granddaughter :-
|
|
|
write('Проверка двунаправленных отношений дедушка-внучка:'), nl,
|
|
|
|
|
|
write('?- grand_pa_and_da(ivan, svetlana). -> '),
|
|
|
(grand_pa_and_da(ivan, svetlana) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- grand_pa_and_da(svetlana, ivan). -> '),
|
|
|
(grand_pa_and_da(svetlana, ivan) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- grand_pa_and_da(sergey, katya). -> '),
|
|
|
(grand_pa_and_da(sergey, katya) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- grand_pa_and_da(katya, sergey). -> '),
|
|
|
(grand_pa_and_da(katya, sergey) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- grand_pa_and_da(anna, dmitry). -> '),
|
|
|
(grand_pa_and_da(anna, dmitry) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
write('Поиск всех пар дедушка-внучка:'), nl,
|
|
|
forall(
|
|
|
grand_pa_and_da(X, Y),
|
|
|
(
|
|
|
(man(X) ->
|
|
|
(write(' Дедушка '), write(X), write(' и внучка '), write(Y), nl)
|
|
|
;
|
|
|
(write(' Дедушка '), write(Y), write(' и внучка '), write(X), nl)
|
|
|
)
|
|
|
)
|
|
|
),
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Демонстрация отношений тетя
|
|
|
% -----------------------------------------------
|
|
|
demo_aunt_relationships :-
|
|
|
write('Проверка отношений тетя:'), nl,
|
|
|
|
|
|
write('?- aunt(elena, mikhail). -> '),
|
|
|
(aunt(elena, mikhail) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- aunt(maria, dmitry). -> '),
|
|
|
(aunt(maria, dmitry) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- aunt(svetlana, andrey). -> '),
|
|
|
(aunt(svetlana, andrey) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- aunt(irina, nikolay). -> '),
|
|
|
(aunt(irina, nikolay) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
write('?- aunt(petr, mikhail). -> '),
|
|
|
(aunt(petr, mikhail) -> write('true') ; write('false')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
write('Поиск всех теть:'), nl,
|
|
|
write('aunts(dmitry):'), nl,
|
|
|
aunts(dmitry),
|
|
|
nl,
|
|
|
|
|
|
write('aunts(mikhail):'), nl,
|
|
|
aunts(mikhail),
|
|
|
nl,
|
|
|
|
|
|
write('aunts(andrey):'), nl,
|
|
|
aunts(andrey),
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Демонстрация сравнения реализаций
|
|
|
% -----------------------------------------------
|
|
|
demo_implementation_comparison :-
|
|
|
write('Сравнение реализаций через факты и предикаты:'), nl, nl,
|
|
|
|
|
|
write('ВНУЧКИ ИВАНА:'), nl,
|
|
|
write('Через факты (grand_da_facts):'), nl,
|
|
|
findall(X, grand_da_facts(X, ivan), FactsResults),
|
|
|
forall(member(GD, FactsResults), (write(' '), write(GD), nl)),
|
|
|
|
|
|
write('Через предикаты (grand_da):'), nl,
|
|
|
findall(Y, grand_da(Y, ivan), PredicateResults),
|
|
|
forall(member(GD2, PredicateResults), (write(' '), write(GD2), nl)),
|
|
|
|
|
|
write('Результаты совпадают: '),
|
|
|
(sort(FactsResults, S1), sort(PredicateResults, S2), S1 = S2 ->
|
|
|
write('ДА') ; write('НЕТ')), nl,
|
|
|
nl,
|
|
|
|
|
|
write('ТЕТИ ДМИТРИЯ:'), nl,
|
|
|
write('Через факты (aunt_facts):'), nl,
|
|
|
findall(A, aunt_facts(A, dmitry), AuntFactsResults),
|
|
|
forall(member(Aunt1, AuntFactsResults), (write(' '), write(Aunt1), nl)),
|
|
|
|
|
|
write('Через предикаты (aunt):'), nl,
|
|
|
findall(B, aunt(B, dmitry), AuntPredicateResults),
|
|
|
forall(member(Aunt2, AuntPredicateResults), (write(' '), write(Aunt2), nl)),
|
|
|
|
|
|
write('Результаты совпадают: '),
|
|
|
(sort(AuntFactsResults, S3), sort(AuntPredicateResults, S4), S3 = S4 ->
|
|
|
write('ДА') ; write('НЕТ')), nl,
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Демонстрация расширенной информации о семье
|
|
|
% -----------------------------------------------
|
|
|
demo_extended_family_info :-
|
|
|
family_info_task3,
|
|
|
|
|
|
write('Дополнительные отношения:'), nl,
|
|
|
write('========================'), nl,
|
|
|
|
|
|
write('Внуки (grandsons):'), nl,
|
|
|
write('grandsons(ivan):'), nl,
|
|
|
grandsons(ivan),
|
|
|
nl,
|
|
|
|
|
|
write('Дяди (uncles):'), nl,
|
|
|
write('uncles(dmitry):'), nl,
|
|
|
uncles(dmitry),
|
|
|
nl,
|
|
|
|
|
|
write('uncles(andrey):'), nl,
|
|
|
uncles(andrey),
|
|
|
nl,
|
|
|
|
|
|
write('Племянники и племянницы:'), nl,
|
|
|
write('Племянники elena:'), nl,
|
|
|
forall(nephew(N, elena), (write(' '), write(N), nl)),
|
|
|
write('Племянницы elena:'), nl,
|
|
|
forall(niece(N, elena), (write(' '), write(N), nl)),
|
|
|
nl,
|
|
|
|
|
|
show_extended_relationships.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Демонстрация генеалогических связей
|
|
|
% -----------------------------------------------
|
|
|
demo_genealogical_connections :-
|
|
|
write('=== ГЕНЕАЛОГИЧЕСКИЕ СВЯЗИ ==='), nl,
|
|
|
|
|
|
write('Полная структура поколений:'), nl,
|
|
|
show_family_generations,
|
|
|
|
|
|
write('Анализ семейных связей:'), nl,
|
|
|
write('======================'), nl,
|
|
|
|
|
|
% Показать все виды отношений для конкретного человека
|
|
|
Person = dmitry,
|
|
|
write('Все отношения для '), write(Person), write(':'), nl,
|
|
|
|
|
|
% Родители
|
|
|
forall(parent(P, Person),
|
|
|
(write(' Родитель: '), write(P), nl)),
|
|
|
|
|
|
% Дети
|
|
|
forall(parent(Person, C),
|
|
|
(write(' Ребенок: '), write(C), nl)),
|
|
|
|
|
|
% Братья и сестры
|
|
|
forall(brother(B, Person),
|
|
|
(write(' Брат: '), write(B), nl)),
|
|
|
forall(sister(S, Person),
|
|
|
(write(' Сестра: '), write(S), nl)),
|
|
|
|
|
|
% Дедушки и бабушки
|
|
|
forall(grandparent(GP, Person),
|
|
|
((man(GP) -> write(' Дедушка: '); write(' Бабушка: ')),
|
|
|
write(GP), nl)),
|
|
|
|
|
|
% Внуки и внучки
|
|
|
forall(grandson(GS, Person),
|
|
|
(write(' Внук: '), write(GS), nl)),
|
|
|
forall(grand_da(GD, Person),
|
|
|
(write(' Внучка: '), write(GD), nl)),
|
|
|
|
|
|
% Тети и дяди
|
|
|
forall(aunt(A, Person),
|
|
|
(write(' Тетя: '), write(A), nl)),
|
|
|
forall(uncle(U, Person),
|
|
|
(write(' Дядя: '), write(U), nl)),
|
|
|
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Интерактивные примеры
|
|
|
% -----------------------------------------------
|
|
|
example_queries_task3 :-
|
|
|
write('=== ПРИМЕРЫ ИНТЕРАКТИВНЫХ ЗАПРОСОВ ЗАДАНИЯ 3 ==='), nl,
|
|
|
write('Вы можете выполнить следующие запросы в интерактивной сессии:'), nl, nl,
|
|
|
|
|
|
write('1. Отношения внучка:'), nl,
|
|
|
write(' ?- grand_da(svetlana, ivan). % Проверить, внучка ли Светлана Ивана'), nl,
|
|
|
write(' ?- grand_da(X, ivan). % Найти всех внучек Ивана'), nl,
|
|
|
write(' ?- grand_dats(ivan). % Показать всех внучек Ивана'), nl,
|
|
|
write(' ?- grand_da_facts(X, anna). % Найти внучек Анны через факты'), nl, nl,
|
|
|
|
|
|
write('2. Отношения дедушка-внучка:'), nl,
|
|
|
write(' ?- grand_pa_and_da(ivan, svetlana). % Проверить связь дедушка-внучка'), nl,
|
|
|
write(' ?- grand_pa_and_da(svetlana, ivan). % Обратная проверка'), nl,
|
|
|
write(' ?- grand_pa_and_da(X, Y). % Найти все пары дедушка-внучка'), nl, nl,
|
|
|
|
|
|
write('3. Отношения тетя:'), nl,
|
|
|
write(' ?- aunt(elena, mikhail). % Проверить, тетя ли Елена Михаилу'), nl,
|
|
|
write(' ?- aunt(X, dmitry). % Найти всех теть Дмитрия'), nl,
|
|
|
write(' ?- aunts(dmitry). % Показать всех теть Дмитрия'), nl,
|
|
|
write(' ?- aunt_facts(X, andrey). % Найти теть Андрея через факты'), nl, nl,
|
|
|
|
|
|
write('4. Дополнительные отношения:'), nl,
|
|
|
write(' ?- grandson(dmitry, ivan). % Проверить, внук ли Дмитрий Ивана'), nl,
|
|
|
write(' ?- uncle(petr, mikhail). % Проверить, дядя ли Петр Михаилу'), nl,
|
|
|
write(' ?- nephew(dmitry, maria). % Проверить, племянник ли Дмитрий Марии'), nl,
|
|
|
write(' ?- niece(svetlana, alex). % Проверить, племянница ли Светлана Алексу'), nl, nl,
|
|
|
|
|
|
write('5. Информационные запросы:'), nl,
|
|
|
write(' ?- family_info_task3. % Общая информация о семье'), nl,
|
|
|
write(' ?- show_extended_relationships. % Показать расширенные отношения'), nl,
|
|
|
write(' ?- compare_implementations. % Сравнить реализации'), nl,
|
|
|
write(' ?- show_family_generations. % Показать поколения'), nl, nl. |
