Простые правила

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

  • родитель(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)

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