---

roditel('Вася', 'Вика').
roditel('Вася', 'Коля').
roditel('Коля', 'Юля').
roditel('Юля', 'Миша').
roditel('Юля', 'Маша').
roditel('Коля', 'Света').
roditel('Света', 'Рома').
roditel('Света', 'Леша').

man('Вася').
man('Коля').
man('Миша').
man('Рома').
man('Леша').

woman('Вика').
woman('Юля').
woman('Маша').
woman('Света').

predok(A, B) :- roditel(A, B).
predok(A, B) :- roditel(A, C), predok(C, B).

mother(G, N) :- woman(G), roditel(G, N).
father(G, N) :- man(G), roditel(G, N).
grandfather(G, N) :- man(G), roditel(G, X), roditel(X, N).
grandmother(G, N) :- woman(G), roditel(G, X), roditel(X, N).

writeln('Мама Маши:'),
mother(A, 'Маша'),
writeln(A),
fail;
true.