% ===============================================
% Демонстрационные запросы для lab8 task2
% Отцовские и семейные отношения
% ===============================================

% Запуск демонстрации
demo :-
    write('=== ДЕМОНСТРАЦИЯ ЗАДАНИЯ 2: ОТЦОВСКИЕ И СЕМЕЙНЫЕ ОТНОШЕНИЯ ==='), nl, nl,
    
    % 1. Демонстрация отцовских отношений
    write('1. ОТЦОВСКИЕ ОТНОШЕНИЯ'), nl,
    write('========================'), nl,
    demo_fathers,
    nl,
    
    % 2. Демонстрация семейных отношений (жена)
    write('2. СЕМЕЙНЫЕ ОТНОШЕНИЯ (ЖЕНА)'), nl,
    write('============================'), nl,
    demo_wives,
    nl,
    
    % 3. Демонстрация дополнительных отношений
    write('3. ДОПОЛНИТЕЛЬНЫЕ СЕМЕЙНЫЕ ОТНОШЕНИЯ'), nl,
    write('===================================='), nl,
    demo_additional,
    nl,
    
    % 4. Общая информация о семье
    write('4. ИНФОРМАЦИЯ О СЕМЬЕ'), nl,
    write('====================='), nl,
    demo_family_info,
    nl,
    
    write('=== ДЕМОНСТРАЦИЯ ЗАДАНИЯ 2 ЗАВЕРШЕНА ==='), nl.

% Вспомогательные предикаты для демонстрации

demo_fathers :-
    write('Проверка отцовства:'), nl,
    write('?- father(ivan, petr). -> '),
    (father(ivan, petr) -> write('true') ; write('false')), nl,
    write('?- father(anna, petr). -> '),
    (father(anna, petr) -> write('true') ; write('false')), nl,
    write('?- father(petr, dmitry). -> '),
    (father(petr, dmitry) -> write('true') ; write('false')), nl,
    write('?- father(alex, mikhail). -> '),
    (father(alex, mikhail) -> write('true') ; write('false')), nl,
    nl,
    
    write('Поиск отца конкретного человека:'), nl,
    write('father(petr):'), nl,
    father(petr),
    write('father(dmitry):'), nl,
    father(dmitry),
    write('father(mikhail):'), nl,
    father(mikhail),
    nl,
    
    write('Список всех отцов:'), nl,
    fathers.

demo_wives :-
    write('Проверка супружеских отношений:'), nl,
    write('?- wife(anna, ivan). -> '),
    (wife(anna, ivan) -> write('true') ; write('false')), nl,
    write('?- wife(elena, petr). -> '),
    (wife(elena, petr) -> write('true') ; write('false')), nl,
    write('?- wife(maria, alex). -> '),
    (wife(maria, alex) -> write('true') ; write('false')), nl,
    write('?- wife(ivan, anna). -> '),
    (wife(ivan, anna) -> write('true') ; write('false')), nl,
    nl,
    
    write('Поиск жены конкретного человека:'), nl,
    write('wife(ivan):'), nl,
    wife(ivan),
    write('wife(petr):'), nl,
    wife(petr),
    write('wife(alex):'), nl,
    wife(alex),
    nl,
    
    write('Список всех жен:'), nl,
    wives.

demo_additional :-
    write('Проверка мужских отношений:'), nl,
    write('?- husband(ivan, anna). -> '),
    (husband(ivan, anna) -> write('true') ; write('false')), nl,
    write('?- husband(petr, elena). -> '),
    (husband(petr, elena) -> write('true') ; write('false')), nl,
    nl,
    
    write('Поиск мужа:'), nl,
    write('husband(anna):'), nl,
    husband(anna),
    write('husband(elena):'), nl,
    husband(elena),
    nl,
    
    write('Проверка брачных отношений:'), nl,
    write('?- married(anna, ivan). -> '),
    (married(anna, ivan) -> write('true') ; write('false')), nl,
    write('?- married(ivan, anna). -> '),
    (married(ivan, anna) -> write('true') ; write('false')), nl,
    nl,
    
    write('Все семейные пары:'), nl,
    couples.

demo_family_info :-
    family_info_task2,
    
    write('Подробная информация о семьях:'), nl,
    write('------------------------------'), nl,
    
    % Показать детей каждой пары
    forall(
        couple(Wife, Husband),
        (
            write('Семья '), write(Wife), write(' и '), write(Husband), write(':'), nl,
            findall(Child, (parent(Wife, Child), parent(Husband, Child)), Children),
            (Children = [] -> 
                write('  (детей нет)'), nl
            ; 
                (write('  Дети: '), write_list(Children), nl)
            ),
            nl
        )
    ).

% Вспомогательный предикат для красивого вывода списка
write_list([]).
write_list([H|T]) :-
    write(H),
    (T = [] -> true ; (write(', '), write_list(T))).

% -----------------------------------------------
% Специальные демонстрационные запросы
% -----------------------------------------------

% Показать генеалогическое дерево семьи
show_family_tree :-
    write('=== ГЕНЕАЛОГИЧЕСКОЕ ДЕРЕВО ==='), nl,
    
    % Старшее поколение
    write('СТАРШЕЕ ПОКОЛЕНИЕ:'), nl,
    forall(
        (man(X), \+ parent(_, X)),
        (write('  Дедушка: '), write(X), 
         (wife(W, X) -> (write(' (жена: '), write(W), write(')')) ; true),
         nl)
    ),
    forall(
        (woman(X), \+ parent(_, X), \+ wife(X, _)),
        (write('  Бабушка: '), write(X), nl)
    ),
    nl,
    
    % Среднее поколение
    write('СРЕДНЕЕ ПОКОЛЕНИЕ:'), nl,
    forall(
        couple(Wife, Husband),
        (write('  Семья: '), write(Wife), write(' и '), write(Husband), nl)
    ),
    nl,
    
    % Младшее поколение
    write('МЛАДШЕЕ ПОКОЛЕНИЕ:'), nl,
    forall(
        (\+ parent(X, _), parent(_, X)),
        (
            (man(X) -> write('  Сын: '); write('  Дочь: ')),
            write(X),
            write(' (родители: '),
            father(F, X), write(F), write(' и '),
            mother(M, X), write(M), write(')'),
            nl
        )
    ),
    nl.

% Интерактивные примеры
example_queries :-
    write('=== ПРИМЕРЫ ИНТЕРАКТИВНЫХ ЗАПРОСОВ ЗАДАНИЯ 2 ==='), nl,
    write('Вы можете выполнить следующие запросы в интерактивной сессии:'), nl, nl,
    
    write('1. Отцовские отношения:'), nl,
    write('   ?- father(ivan, petr).       % Проверить, отец ли иван петра'), nl,
    write('   ?- father(X, dmitry).        % Найти отца дмитрия'), nl,
    write('   ?- father(petr).             % Показать отца петра'), nl,
    write('   ?- fathers.                  % Показать всех отцов'), nl, nl,
    
    write('2. Семейные отношения (жена):'), nl,
    write('   ?- wife(anna, ivan).         % Проверить, жена ли анна ивана'), nl,
    write('   ?- wife(X, petr).            % Найти жену петра'), nl,
    write('   ?- wife(ivan).               % Показать жену ивана'), nl,
    write('   ?- wives.                    % Показать всех жен'), nl, nl,
    
    write('3. Дополнительные отношения:'), nl,
    write('   ?- husband(ivan, anna).      % Проверить, муж ли иван анны'), nl,
    write('   ?- married(anna, ivan).      % Проверить, женаты ли анна и иван'), nl,
    write('   ?- couple(X, Y).             % Найти все пары'), nl,
    write('   ?- couples.                  % Показать все пары'), nl, nl,
    
    write('4. Информационные запросы:'), nl,
    write('   ?- family_info_task2.        % Общая информация о семье'), nl,
    write('   ?- show_family_tree.         % Показать генеалогическое дерево'), nl,
    write('   ?- show_relationships.       % Показать все отношения'), nl, nl.