Лабораторные работы

Занятие 1

Тема: Логическое программирование и язык Пролог

Определить правила для следующих родственных отношений (по вариантам):
1. бабушка, кузен (двоюродный брат)
2. дедушка, свекр (отец мужа)
3. отец, зять (муж дочери или муж сестры)
4. мать, сватья (мать одного из супругов по отношению к родителям другого супруга)
5. сын, свояк (муж сестры жены)
6. дочь, внучатый племянник (сын племянника или племянницы)
7. внук, свекровь (мать мужа)
8. внучка, свояченица (сестра жены)
9. брат, золовка (сестра мужа)
10. сестра, деверь (брат мужа)
11. муж, двоюродный дед (брат бабушки или дедушки)
12. жена, сват (отец одного из супругов по отношению к родителям другого супруга)
13. дядя, невестка (жена сына или жена брата)
14. тетя, шурин (брат жены)
15. племянник, кузина (двоюродная сестра)
16. племянница, теща
17. предок (непосредственный родитель или родитель предка), тесть
18. свекровь (мать мужа), кузен (двоюродный брат)
19. внучка, золовка (сестра мужа)
20. деверь (брат мужа), внучатый племянник (сын племянника или племянницы)
21. свояченица (сестра жены), племянница
22. невестка (жена сына или жена брата), бабушка
23. внук, свояк (муж сестры жены)
24. двоюродный дед (брат бабушки или дедушки), мать
25. свекр (отец мужа), племянница

Для проверки используйте следующую БД:

'мужчина'('Адам').
'мужчина'('Каин').
'мужчина'('Авель').
'мужчина'('Майкл').
'мужчина'('Моисей').
'мужчина'('Альберт').
'мужчина'('Эрнест').
'мужчина'('Ганнибал').
'мужчина'('Александр').
'мужчина'('Филипп').

'женщина'('Ева').
'женщина'('Мадонна').
'женщина'('Мария').
'женщина'('Алиса').
'женщина'('Мэри').
'женщина'('Диана').
'женщина'('Сара').
'женщина'('Барбара').
'женщина'('Роза').
'женщина'('Алла').
'женщина'('Кристина').
'женщина'('Марианна').

'родитель'('Адам','Каин').
'родитель'('Адам','Авель').
'родитель'('Адам','Сара').
'родитель'('Моисей','Мэри').
'родитель'('Моисей','Майкл').
'родитель'('Каин','Алиса').
'родитель'('Каин','Диана').
'родитель'('Каин','Мадонна').
'родитель'('Майкл','Барбара').
'родитель'('Майкл','Роза').
'родитель'('Майкл','Филипп').
'родитель'('Филипп','Кристина').
'родитель'('Ганнибал','Александр').
'родитель'('Александр','Эрнест').
'родитель'('Александр','Альберт').
'родитель'('Альберт','Марианна').
'родитель'('Ева','Каин').
'родитель'('Ева','Авель').
'родитель'('Ева','Сара').
'родитель'('Сара','Мэри').
'родитель'('Сара','Майкл').
'родитель'('Мария','Алиса').
'родитель'('Мария','Диана').
'родитель'('Мария','Мадонна').
'родитель'('Мадонна','Барбара').
'родитель'('Мадонна','Роза').
'родитель'('Мадонна','Филипп').
'родитель'('Алла','Кристина').
'родитель'('Диана','Александр').
'родитель'('Барбара','Эрнест').
'родитель'('Барбара','Альберт').
'родитель'('Кристина','Марианна').