% ===============================================
% Тестовые запросы для лабораторной работы 8
% ===============================================

% Главный предикат для запуска всех тестов
run_tests :-
    write('=== ЗАПУСК ТЕСТОВ СЕМЕЙНОЙ БАЗЫ ДАННЫХ ==='), nl, nl,
    
    test_gender_queries,
    test_parent_queries,
    test_mother_queries,
    test_brother_queries,
    test_sibling_queries,
    test_additional_queries,
    
    write('=== ВСЕ ТЕСТЫ ЗАВЕРШЕНЫ ==='), nl.

% -----------------------------------------------
% Тесты проверки пола
% -----------------------------------------------
test_gender_queries :-
    write('1. ТЕСТИРОВАНИЕ ЗАПРОСОВ ПОЛА'), nl,
    write('------------------------------'), nl,
    
    write('Тест: man(ivan) -> '),
    (man(ivan) -> write('PASSED (true)') ; write('FAILED (false)')), nl,
    
    write('Тест: woman(anna) -> '),
    (woman(anna) -> write('PASSED (true)') ; write('FAILED (false)')), nl,
    
    write('Тест: man(anna) -> '),
    (\+ man(anna) -> write('PASSED (false)') ; write('FAILED (true)')), nl,
    
    write('Тест: woman(ivan) -> '),
    (\+ woman(ivan) -> write('PASSED (false)') ; write('FAILED (true)')), nl,
    
    nl, men, nl, women, nl.

% -----------------------------------------------
% Тесты родительских отношений
% -----------------------------------------------
test_parent_queries :-
    write('2. ТЕСТИРОВАНИЕ РОДИТЕЛЬСКИХ ОТНОШЕНИЙ'), nl,
    write('--------------------------------------'), nl,
    
    write('Тест: parent(ivan, petr) -> '),
    (parent(ivan, petr) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: parent(anna, elena) -> '),
    (parent(anna, elena) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: parent(petr, ivan) -> '),
    (\+ parent(petr, ivan) -> write('PASSED (false)') ; write('FAILED')), nl,
    
    nl,
    write('Дети ivan:'), nl,
    children(ivan),
    nl,
    
    write('Дети petr:'), nl,
    children(petr),
    nl.

% -----------------------------------------------
% Тесты материнских отношений
% -----------------------------------------------
test_mother_queries :-
    write('3. ТЕСТИРОВАНИЕ МАТЕРИНСКИХ ОТНОШЕНИЙ'), nl,
    write('-------------------------------------'), nl,
    
    write('Тест: mother(anna, petr) -> '),
    (mother(anna, petr) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: mother(ivan, petr) -> '),
    (\+ mother(ivan, petr) -> write('PASSED (false)') ; write('FAILED')), nl,
    
    write('Тест: mother(elena, dmitry) -> '),
    (mother(elena, dmitry) -> write('PASSED') ; write('FAILED')), nl,
    
    nl,
    write('Мать petr:'), nl,
    mother(petr),
    nl,
    
    write('Мать dmitry:'), nl,
    mother(dmitry),
    nl.

% -----------------------------------------------
% Тесты братских отношений
% -----------------------------------------------
test_brother_queries :-
    write('4. ТЕСТИРОВАНИЕ БРАТСКИХ ОТНОШЕНИЙ'), nl,
    write('----------------------------------'), nl,
    
    write('Тест: brother(petr, elena) -> '),
    (brother(petr, elena) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: brother(elena, petr) -> '),
    (\+ brother(elena, petr) -> write('PASSED (false)') ; write('FAILED')), nl,
    
    write('Тест: brother(dmitry, svetlana) -> '),
    (brother(dmitry, svetlana) -> write('PASSED') ; write('FAILED')), nl,
    
    nl,
    write('Братья elena:'), nl,
    brothers(elena),
    nl,
    
    write('Братья svetlana:'), nl,
    brothers(svetlana),
    nl.

% -----------------------------------------------
% Тесты отношений братьев и сестер
% -----------------------------------------------
test_sibling_queries :-
    write('5. ТЕСТИРОВАНИЕ ОТНОШЕНИЙ БРАТЬЕВ И СЕСТЕР'), nl,
    write('-------------------------------------------'), nl,
    
    write('Тест: b_s(petr, elena) -> '),
    (b_s(petr, elena) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: b_s(elena, petr) -> '),
    (b_s(elena, petr) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: b_s(dmitry, svetlana) -> '),
    (b_s(dmitry, svetlana) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: b_s(ivan, petr) -> '),
    (\+ b_s(ivan, petr) -> write('PASSED (false)') ; write('FAILED')), nl,
    
    nl,
    write('Братья и сестры petr:'), nl,
    b_s(petr),
    nl,
    
    write('Братья и сестры dmitry:'), nl,
    b_s(dmitry),
    nl.

% -----------------------------------------------
% Дополнительные тесты
% -----------------------------------------------
test_additional_queries :-
    write('6. ДОПОЛНИТЕЛЬНЫЕ ТЕСТЫ'), nl,
    write('------------------------'), nl,
    
    write('Тест: father(ivan, petr) -> '),
    (father(ivan, petr) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: sister(elena, petr) -> '),
    (sister(elena, petr) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: grandparent(ivan, dmitry) -> '),
    (grandparent(ivan, dmitry) -> write('PASSED') ; write('FAILED')), nl,
    
    write('Тест: ancestor(ivan, vladimir) -> '),
    (ancestor(ivan, vladimir) -> write('PASSED') ; write('FAILED')), nl,
    
    nl,
    family_info,
    show_family.

% -----------------------------------------------
% Демонстрация трассировки
% -----------------------------------------------
trace_demo :-
    write('=== ДЕМОНСТРАЦИЯ ТРАССИРОВКИ ==='), nl,
    write('Включаем трассировку для предиката men...'), nl,
    trace,
    men,
    notrace,
    write('Трассировка отключена.'), nl.

% -----------------------------------------------
% Интерактивные примеры запросов
% -----------------------------------------------
example_queries :-
    write('=== ПРИМЕРЫ ИНТЕРАКТИВНЫХ ЗАПРОСОВ ==='), nl,
    write('Вы можете выполнить следующие запросы:'), nl, nl,
    
    write('1. Проверка пола:'), nl,
    write('   ?- man(ivan).'), nl,
    write('   ?- woman(anna).'), nl, nl,
    
    write('2. Поиск всех мужчин/женщин:'), nl,
    write('   ?- men.'), nl,
    write('   ?- women.'), nl, nl,
    
    write('3. Родительские отношения:'), nl,
    write('   ?- parent(ivan, X).'), nl,
    write('   ?- parent(X, petr).'), nl,
    write('   ?- children(ivan).'), nl, nl,
    
    write('4. Материнские отношения:'), nl,
    write('   ?- mother(anna, petr).'), nl,
    write('   ?- mother(X, dmitry).'), nl,
    write('   ?- mother(petr).'), nl, nl,
    
    write('5. Братские отношения:'), nl,
    write('   ?- brother(petr, elena).'), nl,
    write('   ?- brother(X, svetlana).'), nl,
    write('   ?- brothers(elena).'), nl, nl,
    
    write('6. Отношения братьев и сестер:'), nl,
    write('   ?- b_s(petr, elena).'), nl,
    write('   ?- b_s(X, dmitry).'), nl,
    write('   ?- b_s(petr).'), nl, nl,
    
    write('7. Дополнительные запросы:'), nl,
    write('   ?- grandparent(ivan, X).'), nl,
    write('   ?- ancestor(ivan, vladimir).'), nl,
    write('   ?- family_info.'), nl,
    write('   ?- show_family.'), nl, nl.

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