Разобраться в задачах - Prolog

Формулировка задачи:

Определить предикат_внучатая_племянница(Х),используя отношения родитель(Z,T),брат(Z,T),сестра(Z,T),женщина(Х). Определить предикат победитель(Х),используя отншение проиграл(Z,T)

Решение задачи: «Разобраться в задачах»

textual
                            Листинг программы 
                        

                            % X внучатая племянница для Y если
внучатая_племянница(Х, Y) :-
    % X является женщиной
    женщина(Х),
    % и Z1 родитель для X
    родитель(Z1, Х),
    % и Z2 родитель для Z1
    родитель(Z2, Z1),
    % и Y брат или сестра для Z2
    ( брат(Y, Z2) ; сестра(Y, Z2) ).
                        