Задача определение отношений - Prolog

Узнай цену своей работы

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

Определите отношение aunt(X, Y) – «X является тетей Y» через отношения parents и sister.

Решение задачи: «Задача определение отношений»

textual
Листинг программы
aunt(X, Y) :– sister(X, Z), parent(Z, Y).

Объяснение кода листинга программы

  1. Задача определения отношений
  2. Язык программирования Prolog
  3. Переменная X представляет собой родственника
  4. Переменная Y представляет собой родственника
  5. Переменная Z представляет собой родственника
  6. Отношение между X и Y - племянник/племянница
  7. Отношение между X и Z - брат/сестра
  8. Отношение между Z и Y - родитель
  9. aunt(X, Y) - функция, определяющая отношение между X и Y
  10. sister(X, Z) - функция, определяющая отношение между X и Z
  11. parent(Z, Y) - функция, определяющая отношение между Z и Y
  12. X является братом/сестрой Z
  13. Z является родителем Y
  14. aunt(X, Y) выполняется, когда X является племянником/племянницей Y
  15. aunt(X, Y) использует отношения sister и parent для определения отношения между X и Y
  16. sister(X, Z) используется для определения, является ли X братом/сестрой Z
  17. parent(Z, Y) используется для определения, является ли Z родителем Y
  18. Если X является братом/сестрой Z и Z является родителем Y, то X является племянником/племянницей Y
  19. aunt(X, Y) может использоваться для определения родственных отношений в больших семьях
  20. Код может быть использован для создания базы данных родственных отношений и выполнения различных запросов на определение отношений между родственниками

Оцени полезность:

11   голосов , оценка 4.091 из 5