% ===============================================
% Тестовые запросы для лабораторной работы 8 - Задание 2
% Отцовские и семейные отношения
% ===============================================

% Главный предикат для запуска всех тестов
run_tests :-
    write('=== ЗАПУСК ТЕСТОВ ЗАДАНИЯ 2 ==='), nl, nl,
    
    test_father_queries,
    test_wife_queries,
    test_additional_relationships,
    test_family_info,
    
    write('=== ВСЕ ТЕСТЫ ЗАДАНИЯ 2 ЗАВЕРШЕНЫ ==='), nl.

% -----------------------------------------------
% Тесты отцовских отношений
% -----------------------------------------------
test_father_queries :-
    write('1. ТЕСТИРОВАНИЕ ОТЦОВСКИХ ОТНОШЕНИЙ'), nl,
    write('-----------------------------------'), nl,
    
    write('Тест: father(ivan, petr) -> '),
    (father(ivan, petr) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: father(anna, petr) -> '),
    (\+ father(anna, petr) -> write('PASSED (false)') ; write('FAILED')), nl,
    
    write('Тест: father(petr, dmitry) -> '),
    (father(petr, dmitry) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: father(alex, mikhail) -> '),
    (father(alex, mikhail) -> write('PASSED') ; write('FAILED')), nl,
    
    nl,
    write('Поиск отца:'), nl,
    write('father(petr):'), nl,
    father(petr),
    nl,
    
    write('father(dmitry):'), nl,
    father(dmitry),
    nl,
    
    write('Все отцы:'), nl,
    fathers,
    nl.

% -----------------------------------------------
% Тесты семейных отношений (жена)
% -----------------------------------------------
test_wife_queries :-
    write('2. ТЕСТИРОВАНИЕ СЕМЕЙНЫХ ОТНОШЕНИЙ (ЖЕНА)'), nl,
    write('------------------------------------------'), nl,
    
    write('Тест: wife(anna, ivan) -> '),
    (wife(anna, ivan) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: wife(elena, petr) -> '),
    (wife(elena, petr) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: wife(maria, alex) -> '),
    (wife(maria, alex) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: wife(ivan, anna) -> '),
    (\+ wife(ivan, anna) -> write('PASSED (false)') ; write('FAILED')), nl,
    
    nl,
    write('Поиск жены:'), nl,
    write('wife(ivan):'), nl,
    wife(ivan),
    nl,
    
    write('wife(petr):'), nl,
    wife(petr),
    nl,
    
    write('wife(alex):'), nl,
    wife(alex),
    nl,
    
    write('Все жены:'), nl,
    wives,
    nl.

% -----------------------------------------------
% Тесты дополнительных отношений
% -----------------------------------------------
test_additional_relationships :-
    write('3. ТЕСТИРОВАНИЕ ДОПОЛНИТЕЛЬНЫХ ОТНОШЕНИЙ'), nl,
    write('----------------------------------------'), nl,
    
    write('Тест: husband(ivan, anna) -> '),
    (husband(ivan, anna) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: married(anna, ivan) -> '),
    (married(anna, ivan) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: married(ivan, anna) -> '),
    (married(ivan, anna) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: couple(anna, ivan) -> '),
    (couple(anna, ivan) -> write('PASSED') ; write('FAILED')), nl,
    
    nl,
    write('Поиск мужа:'), nl,
    write('husband(anna):'), nl,
    husband(anna),
    nl,
    
    write('husband(elena):'), nl,
    husband(elena),
    nl,
    
    write('Все пары:'), nl,
    couples,
    nl.

% -----------------------------------------------
% Тесты информации о семье
% -----------------------------------------------
test_family_info :-
    write('4. ТЕСТИРОВАНИЕ СЕМЕЙНОЙ ИНФОРМАЦИИ'), nl,
    write('-----------------------------------'), nl,
    
    family_info_task2,
    show_relationships.

% -----------------------------------------------
% Комплексные тесты
% -----------------------------------------------
test_complex_relationships :-
    write('5. КОМПЛЕКСНЫЕ ТЕСТЫ ОТНОШЕНИЙ'), nl,
    write('-------------------------------'), nl,
    
    % Проверка, что у каждого ребенка есть и отец, и мать
    write('Проверка полных семей:'), nl,
    forall(
        parent(_, Child),
        (
            (father(F, Child), mother(M, Child)) ->
            (write('  '), write(Child), write(': отец '), write(F), 
             write(', мать '), write(M), nl)
            ;
            (write('  '), write(Child), write(': неполная семья'), nl)
        )
    ),
    nl,
    
    % Проверка пар
    write('Проверка семейных пар:'), nl,
    forall(
        couple(Wife, Husband),
        (write('  Пара: '), write(Wife), write(' и '), write(Husband), 
         write(' - дети: '),
         findall(Child, (parent(Wife, Child), parent(Husband, Child)), Children),
         write(Children), nl)
    ),
    nl.

% -----------------------------------------------
% Демонстрационные запросы
% -----------------------------------------------
demo_queries :-
    write('=== ДЕМОНСТРАЦИОННЫЕ ЗАПРОСЫ ЗАДАНИЯ 2 ==='), nl, nl,
    
    write('1. Отцовские отношения:'), nl,
    write('   ?- father(ivan, petr).'), nl,
    (father(ivan, petr) -> write('   true') ; write('   false')), nl,
    write('   ?- father(petr).'), nl,
    write('   '), father(petr),
    nl,
    
    write('2. Семейные отношения (жена):'), nl,
    write('   ?- wife(anna, ivan).'), nl,
    (wife(anna, ivan) -> write('   true') ; write('   false')), nl,
    write('   ?- wife(ivan).'), nl,
    write('   '), wife(ivan),
    nl,
    
    write('3. Поиск всех отцов:'), nl,
    write('   ?- fathers.'), nl,
    fathers,
    nl,
    
    write('4. Поиск всех семейных пар:'), nl,
    write('   ?- couples.'), nl,
    couples,
    nl.

% -----------------------------------------------
% Предикат для запуска демонстрации
% -----------------------------------------------
demo :-
    write('=== ДЕМОНСТРАЦИЯ ЗАДАНИЯ 2 ==='), nl, nl,
    demo_queries,
    test_complex_relationships.