ТЕКСТ ПРОГРАММЫ:

man('Адам').

man('Каин').

man('Авель').

man('Майкл').

man('Мухаммед').

man('Альберт').

man('Эрнест').

man('Ганнибал').

man('Александр').

man('Филипп').

 

woman('Ева').

woman('Мадонна').

woman('Мария').

woman('Алиса').

woman('Мэри').

woman('Диана').

woman('Сара').

woman('Барбара').

woman('Роза').

woman('Алла').

woman('Кристина').

woman('Марианна').

 

parent('Адам','Каин').

parent('Адам','Авель').

parent('Адам','Сара').

parent('Мухаммед','Мэри').

parent('Мухаммед','Майкл').

parent('Каин','Алиса').

parent('Каин','Диана').

parent('Каин','Мадонна').

parent('Майкл','Барбара').

parent('Майкл','Роза').

parent('Майкл','Филипп').

parent('Филипп','Кристина').

parent('Ганнибал','Александр').

parent('Александр','Эрнест').

parent('Александр','Альберт').

parent('Альберт','Марианна').

parent('Ева','Каин').

parent('Ева','Авель').

parent('Ева','Сара').

parent('Сара','Мэри').

parent('Сара','Майкл').

parent('Мария','Алиса').

parent('Мария','Диана').

parent('Мария','Мадонна').

parent('Мадонна','Барбара').

parent('Мадонна','Роза').

parent('Мадонна','Филипп').

parent('Алла','Кристина').

parent('Диана','Александр').

parent('Барбара','Эрнест').

parent('Барбара','Альберт').

parent('Кристина','Марианна').

 

% Определение правила "сестра жены":

sisterwife(X,C):- woman(X), parent(F,X), parent(F,Y), X\=Y,woman(Y), man(C), parent(X,Z), parent(C,Z).

Результаты:

X = 'Мадонна'