Интеллектуальные системы и технологии

Во вложенном примере даны отношения:

• родитель(X, Y)
• мужчина(X)
• женщина(X)
• женат_на(X, Y)

Вывести следующие правила:

1. ребёнок(X, Y)
2. дедушка_или_бабушка(X, Y)
3. сестра(X, Y)
4. тётя(X, Y)
5. дядя(X, Y)
6. отец(X, Y)
7. сын(X, Y)
8. дедушка(X, Y)
9. бабушка(X, Y)
10. внук_или_внучка(X, Y)
11. имеет_детей(X)
12. имеет_как_минимум_двоих_детей(X)
13. имеет_ровно_двоих_детей(X)

При необходимости дополнить базу данных в исходном коде для демонстрации работоспособности правил.