Предикат для запросов по членам семьи - Prolog

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

Доброе утра. Помогите, пожалуйста, составить правила для родственных отношений "племянница, теща" и запросы для получения людей, состоящих в этих отношениях.

Решение задачи: «Предикат для запросов по членам семьи»

Листинг программы

'husband'(H, X):- 'parent'(H, Y), 'men'(H),
                  'parent'(X, Y), 'women'(X).
 
'granduncle'(G, K):- 'parent'(X, G), 'men'(G),
                     'parent'(X, F), F\=G,   
                     'parent'(F, N), 
                     'parent'(N, K).

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

Код представляет собой два предиката, которые описывают родственные связи в семье.

Предикат 'husband'/'муж' устанавливает связь между мужем (H) и его женой (X). Он предполагает, что муж (H) является родителем (Y) и что он мужчина (men). Также он предполагает, что жена (X) является родителем (Y) и что она женщина (women).
Предикат 'granduncle'/'дедушка-дядя' устанавливает связь между дедушкой-дядей (G) и его племянником (K). Он предполагает, что дедушка-дядя (G) является родителем (X) и что он мужчина (men). Также он предполагает, что родитель (X) является родителем (Y) и что он женщина (women). Кроме того, он предполагает, что родитель (Y) не равен дедушке-дяде (G) и что существует другой родитель (F), который является родителем (N) дедушки-дяди (K).