papa('Иван', 'Максим').
papa('Иван', 'Наталья').
papa('Илья', 'Иван').
papa('Илья', 'Я').
papa('Илья', 'Ольга').
papa('Георгий', 'Анастасия').
papa('Евгений', 'Георгий').
papa('Евгений', 'Вера').
papa('Евгений', 'Илья').
papa('Олег', 'Анна').
papa('Павел', 'Юлия').
papa('Павел', 'Олег').
papa('Павел', 'Артем').
papa('Дмитрий', 'Павел').
papa('Михаил', 'Алена').
mama('Елена', 'Максим').
mama('Елена', 'Наталья').
mama('Юлия', 'Иван').
mama('Юлия', 'Я').
mama('Юлия', 'Ольга').
mama('Алина', 'Георгий').
mama('Алина', 'Вера').
mama('Алина', 'Илья').
mama('Алена', 'Юлия').
mama('Алена', 'Олег').
mama('Алена', 'Артем').
mama('Жанна', 'Павел').
mama('Надежда', 'Алена').


roditel(X, Y):-papa(X, Y); mama(X, Y).
bratsestra(X, Y):-roditel(Z, X), roditel(Z, Y).
potomok(Y, X):-roditel(X, Y).
potomok(Y, X):-roditel(Z, Y), potomok(Z, X).
predok(X, Y):-roditel(X, Y).
predok(X, Y):-roditel(X, Z), predok(Z, Y).
dyadyatetya(X, Y):-bratsestra(X, Z), roditel(Z, Y).
plemyannik(X, Y):-roditel(Z, Y), roditel(Z, Q), roditel(Q, X).