|
|
% ===============================================
|
|
|
% Тестовые запросы для лабораторной работы 8 - Задание 3
|
|
|
% Расширенные семейные отношения
|
|
|
% ===============================================
|
|
|
|
|
|
% Главный предикат для запуска всех тестов
|
|
|
run_tests :-
|
|
|
write('=== ЗАПУСК ТЕСТОВ ЗАДАНИЯ 3 ==='), nl, nl,
|
|
|
|
|
|
test_granddaughter_relationships,
|
|
|
test_grandfather_granddaughter_relationships,
|
|
|
test_aunt_relationships,
|
|
|
test_implementation_comparison,
|
|
|
test_extended_family_info,
|
|
|
|
|
|
write('=== ВСЕ ТЕСТЫ ЗАДАНИЯ 3 ЗАВЕРШЕНЫ ==='), nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Тесты отношений внучка
|
|
|
% -----------------------------------------------
|
|
|
test_granddaughter_relationships :-
|
|
|
write('1. ТЕСТИРОВАНИЕ ОТНОШЕНИЙ ВНУЧКА'), nl,
|
|
|
write('----------------------------------'), nl,
|
|
|
|
|
|
% Тесты grand_da_facts (через факты)
|
|
|
write('Тесты grand_da_facts (только факты):'), nl,
|
|
|
write('Тест: grand_da_facts(svetlana, ivan) -> '),
|
|
|
(grand_da_facts(svetlana, ivan) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_da_facts(victoria, anna) -> '),
|
|
|
(grand_da_facts(victoria, anna) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_da_facts(katya, olga) -> '),
|
|
|
(grand_da_facts(katya, olga) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_da_facts(dmitry, ivan) -> '),
|
|
|
(\+ grand_da_facts(dmitry, ivan) -> write('PASSED (false)') ; write('FAILED')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
% Тесты grand_da (через предикаты)
|
|
|
write('Тесты grand_da (через предикаты):'), nl,
|
|
|
write('Тест: grand_da(svetlana, ivan) -> '),
|
|
|
(grand_da(svetlana, ivan) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_da(victoria, anna) -> '),
|
|
|
(grand_da(victoria, anna) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_da(katya, olga) -> '),
|
|
|
(grand_da(katya, olga) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_da(andrey, sergey) -> '),
|
|
|
(\+ grand_da(andrey, sergey) -> write('PASSED (false)') ; write('FAILED')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
% Тест grand_dats
|
|
|
write('Тест grand_dats(ivan):'), nl,
|
|
|
grand_dats(ivan),
|
|
|
nl,
|
|
|
|
|
|
write('Тест grand_dats(anna):'), nl,
|
|
|
grand_dats(anna),
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Тесты отношений дедушка-внучка
|
|
|
% -----------------------------------------------
|
|
|
test_grandfather_granddaughter_relationships :-
|
|
|
write('2. ТЕСТИРОВАНИЕ ОТНОШЕНИЙ ДЕДУШКА-ВНУЧКА'), nl,
|
|
|
write('-------------------------------------------'), nl,
|
|
|
|
|
|
write('Тест: grand_pa_and_da(ivan, svetlana) -> '),
|
|
|
(grand_pa_and_da(ivan, svetlana) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_pa_and_da(svetlana, ivan) -> '),
|
|
|
(grand_pa_and_da(svetlana, ivan) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_pa_and_da(sergey, katya) -> '),
|
|
|
(grand_pa_and_da(sergey, katya) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_pa_and_da(anna, dmitry) -> '),
|
|
|
(\+ grand_pa_and_da(anna, dmitry) -> write('PASSED (false)') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grand_pa_and_da(petr, victoria) -> '),
|
|
|
(\+ grand_pa_and_da(petr, victoria) -> write('PASSED (false)') ; write('FAILED')), nl,
|
|
|
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Тесты отношений тетя
|
|
|
% -----------------------------------------------
|
|
|
test_aunt_relationships :-
|
|
|
write('3. ТЕСТИРОВАНИЕ ОТНОШЕНИЙ ТЕТЯ'), nl,
|
|
|
write('---------------------------------'), nl,
|
|
|
|
|
|
% Тесты aunt_facts (через факты)
|
|
|
write('Тесты aunt_facts (только факты):'), nl,
|
|
|
write('Тест: aunt_facts(elena, mikhail) -> '),
|
|
|
(aunt_facts(elena, mikhail) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: aunt_facts(maria, dmitry) -> '),
|
|
|
(aunt_facts(maria, dmitry) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: aunt_facts(svetlana, andrey) -> '),
|
|
|
(aunt_facts(svetlana, andrey) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: aunt_facts(petr, mikhail) -> '),
|
|
|
(\+ aunt_facts(petr, mikhail) -> write('PASSED (false)') ; write('FAILED')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
% Тесты aunt (через предикаты)
|
|
|
write('Тесты aunt (через предикаты):'), nl,
|
|
|
write('Тест: aunt(elena, mikhail) -> '),
|
|
|
(aunt(elena, mikhail) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: aunt(maria, dmitry) -> '),
|
|
|
(aunt(maria, dmitry) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: aunt(svetlana, andrey) -> '),
|
|
|
(aunt(svetlana, andrey) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: aunt(irina, nikolay) -> '),
|
|
|
(aunt(irina, nikolay) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
% Тест aunts
|
|
|
write('Тест aunts(dmitry):'), nl,
|
|
|
aunts(dmitry),
|
|
|
nl,
|
|
|
|
|
|
write('Тест aunts(mikhail):'), nl,
|
|
|
aunts(mikhail),
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Тесты сравнения реализаций
|
|
|
% -----------------------------------------------
|
|
|
test_implementation_comparison :-
|
|
|
write('4. ТЕСТИРОВАНИЕ СРАВНЕНИЯ РЕАЛИЗАЦИЙ'), nl,
|
|
|
write('-------------------------------------'), nl,
|
|
|
|
|
|
write('Сравнение результатов grand_da_facts и grand_da для ivan:'), nl,
|
|
|
|
|
|
write('Результаты grand_da_facts:'), nl,
|
|
|
findall(X, grand_da_facts(X, ivan), FactsResults),
|
|
|
write(' '), write(FactsResults), nl,
|
|
|
|
|
|
write('Результаты grand_da:'), nl,
|
|
|
findall(Y, grand_da(Y, ivan), PredicateResults),
|
|
|
write(' '), write(PredicateResults), nl,
|
|
|
|
|
|
% Проверяем, что результаты одинаковые
|
|
|
(sort(FactsResults, SortedFacts),
|
|
|
sort(PredicateResults, SortedPredicates),
|
|
|
SortedFacts = SortedPredicates ->
|
|
|
write('PASSED: Результаты совпадают') ;
|
|
|
write('FAILED: Результаты не совпадают')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
write('Сравнение результатов aunt_facts и aunt для dmitry:'), nl,
|
|
|
|
|
|
write('Результаты aunt_facts:'), nl,
|
|
|
findall(A, aunt_facts(A, dmitry), AuntFactsResults),
|
|
|
write(' '), write(AuntFactsResults), nl,
|
|
|
|
|
|
write('Результаты aunt:'), nl,
|
|
|
findall(B, aunt(B, dmitry), AuntPredicateResults),
|
|
|
write(' '), write(AuntPredicateResults), nl,
|
|
|
|
|
|
% Проверяем, что результаты одинаковые
|
|
|
(sort(AuntFactsResults, SortedAuntFacts),
|
|
|
sort(AuntPredicateResults, SortedAuntPredicates),
|
|
|
SortedAuntFacts = SortedAuntPredicates ->
|
|
|
write('PASSED: Результаты совпадают') :
|
|
|
write('FAILED: Результаты не совпадают')), nl,
|
|
|
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Тесты расширенной информации о семье
|
|
|
% -----------------------------------------------
|
|
|
test_extended_family_info :-
|
|
|
write('5. ТЕСТИРОВАНИЕ РАСШИРЕННОЙ ИНФОРМАЦИИ О СЕМЬЕ'), nl,
|
|
|
write('------------------------------------------------'), nl,
|
|
|
|
|
|
family_info_task3,
|
|
|
|
|
|
write('Тест дополнительных отношений:'), nl,
|
|
|
|
|
|
% Тесты grandson
|
|
|
write('Тест: grandson(dmitry, ivan) -> '),
|
|
|
(grandson(dmitry, ivan) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: grandson(andrey, sergey) -> '),
|
|
|
(grandson(andrey, sergey) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
% Тесты uncle
|
|
|
write('Тест: uncle(petr, mikhail) -> '),
|
|
|
(uncle(petr, mikhail) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: uncle(alex, dmitry) -> '),
|
|
|
(uncle(alex, dmitry) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
% Тесты nephew/niece
|
|
|
write('Тест: nephew(dmitry, maria) -> '),
|
|
|
(nephew(dmitry, maria) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
write('Тест: niece(svetlana, alex) -> '),
|
|
|
(niece(svetlana, alex) -> write('PASSED') ; write('FAILED')), nl,
|
|
|
|
|
|
nl,
|
|
|
|
|
|
show_extended_relationships.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Комплексные тесты семейных отношений
|
|
|
% -----------------------------------------------
|
|
|
test_complex_family_relationships :-
|
|
|
write('6. КОМПЛЕКСНЫЕ ТЕСТЫ СЕМЕЙНЫХ ОТНОШЕНИЙ'), nl,
|
|
|
write('----------------------------------------'), nl,
|
|
|
|
|
|
write('Проверка полной структуры семьи:'), nl,
|
|
|
|
|
|
% Проверяем, что каждая внучка имеет дедушку/бабушку
|
|
|
write('Внучки и их дедушки/бабушки:'), nl,
|
|
|
forall(
|
|
|
grand_da(Granddaughter, Grandparent),
|
|
|
(write(' '), write(Granddaughter), write(' - внучка '), write(Grandparent), nl)
|
|
|
),
|
|
|
nl,
|
|
|
|
|
|
% Проверяем тетей и их племянников/племянниц
|
|
|
write('Тети и их племянники/племянницы:'), nl,
|
|
|
forall(
|
|
|
aunt(Aunt, NephewNiece),
|
|
|
(write(' '), write(Aunt), write(' - тетя '), write(NephewNiece), nl)
|
|
|
),
|
|
|
nl,
|
|
|
|
|
|
% Проверяем симметричность grand_pa_and_da
|
|
|
write('Проверка симметричности grand_pa_and_da:'), nl,
|
|
|
forall(
|
|
|
(grandfather(GP, GD), woman(GD)),
|
|
|
(
|
|
|
(grand_pa_and_da(GP, GD) ->
|
|
|
(write(' '), write(GP), write(' <-> '), write(GD), write(' : PASSED'), nl)
|
|
|
;
|
|
|
(write(' '), write(GP), write(' <-> '), write(GD), write(' : FAILED'), nl)
|
|
|
)
|
|
|
)
|
|
|
),
|
|
|
nl.
|
|
|
|
|
|
% -----------------------------------------------
|
|
|
% Демонстрационные запросы
|
|
|
% -----------------------------------------------
|
|
|
demo_queries_task3 :-
|
|
|
write('=== ДЕМОНСТРАЦИОННЫЕ ЗАПРОСЫ ЗАДАНИЯ 3 ==='), nl, nl,
|
|
|
|
|
|
demo_relationships_task3,
|
|
|
compare_implementations,
|
|
|
test_complex_family_relationships. |
