Работа с отношениями на языке Пролог

@GreatThunder8 · Регистрация: 27.11.2013

Студворк — интернет-сервис помощи студентам

Добрый день, форумчане. Есть написанная программа на языке Пролог, но никак не могу сообразить, как написать запрос по поиску n-юродного прадеда

Prolog
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
PREDICATES
 
nondeterm man(string)
nondeterm woman(string)
nondeterm married_couple(string, string)
nondeterm parent(string, string)
nondeterm farther(string, string)
nondeterm aunt(string, string)
nondeterm second_cousin_brother (string, string)
nondeterm first_cousin_nephew (string, string)
nondeterm any_cousin_brother (string, string)
nondeterm  n_brother (long, string, string)
nondeterm husband (string, string)
 
CLAUSES
man("Roman").
man("Igor").
man("Ivan").
man("Andrey").
man("Alexander").
man("Sergey").
man("Pavel").
man("Victor").
man("Arsen").
man("Oleg").
man("Petr").
man("Sasha").
man("Max").
man("Vlad").
man("Gleb").
man("Ilya").
man("Danil").
man("Artem").
man("Matvey").
man("Evgeniy").
man("Nikita").
man("Alexsey").
woman("Elena").
woman("Irina").
woman("Inga").
woman("Svetlana").
woman("Inna").
woman("Alena").
woman("Yana").
woman("Yulia").
woman("Valya").
woman("Olga").
woman("Tanya").
woman("Eva").
woman("Diana").
woman("Nadya").
woman("Arina").
woman("Sofia").
woman("Anna").
woman("Marina").
 
married_couple("Roman", "Elena").
married_couple("Igor", "Irina").
married_couple("Ivan", "Inga").
married_couple("Andrey", "Svetlana").
married_couple("Alexander", "Inna").
married_couple("Sergey", "Alena").
married_couple("Pavel", "Yana").
married_couple("Victor", "Yulia").
married_couple("Arsen", "Valya").
married_couple("Oleg", "Olga").
married_couple("Petr", "Tanya").
married_couple("Sasha","Eva").
married_couple("Max","Diana").
married_couple("Vlad","Nadya").
married_couple("Gleb","Arina").
married_couple("Ilya","Sofia").
married_couple("Danil","Anna").
 
parent("Roman", "Ivan").
parent("Roman", "Svetlana").
parent("Elena", "Ivan").
parent("Elena", "Svetlana").
parent("Igor", "Andrey").
parent("Igor", "Inna").
parent("Irina", "Andrey").
parent("Irina", "Inna").
parent("Ivan", "Sergey").
parent("Ivan", "Pavel").
parent("Inga", "Sergey").
parent("Inga", "Pavel").
parent("Andrey", "Yulia").
parent("Andrey", "Arsen").
parent("Svetlana", "Yulia").
parent("Svetlana", "Arsen").
parent("Alexander", "Oleg").
parent("Alexander", "Petr").
parent("Inna", "Oleg").
parent("Inna", "Petr").
parent("Sergey", "Sasha").
parent("Alena", "Sasha").
parent("Pavel", "Max").
parent("Yana", "Max").
parent("Victor","Vlad").
parent("Yulia","Vlad").
parent("Arsen","Gleb").
parent("Valya","Gleb").
parent("Oleg","Ilya").
parent("Olga","Ilya").
parent("Petr","Anna").
parent("Tanya","Anna").
parent("Sasha","Artem").
parent("Eva","Artem").
parent("Max","Matvey").
parent("Diana"," Matvey").
parent("Vlad","Evgeniy").
parent("Nadya","Evgeniy").
parent("Gleb","Marina").
parent("Arina","Marina").
parent("Ilya","Nikita").
parent("Sofia","Nikita").
parent("Danil","Alexsey").
parent("Anna","Alexsey").
 
farther(X,Y):- parent(X,Y), man(X).
 
aunt(X,Y):- woman(X), parent(A,X), parent(A,Z), Z<>X, parent(Z,Y).
 
second_cousin_brother(X,Y):- man(X), parent(A,X), parent(B,A), parent(C,Y),parent(D,C),parent(Z,D),parent(Z,B),D<>B.
 
first_cousin_nephew(X,Y):- man(X), parent(A,X), parent(B,A), parent(C,Y), parent(D,C), parent(D,B), B<>C.
n_brother(1,X,Y):- parent(A,X), parent(A,Y), X<>Y.
n_brother(N,X,Y):- N>1, Q=N-1, parent(A,X), parent(B,Y), n_brother(Q, A, B).
any_cousin_brother(N,X,Y):- man(X), n_brother(N,X,Y).
 
husband(X,Y):- married_couple(X,Y),man(X).
 
GOAL
 
farther(X,Y).
 
aunt(X,Y).
 
second_cousin_brother(X,Y).
 
first_cousin_nephew(X,Y).
 
any_cousin_brother(N,X,Y).
 
husband(X,Y).

@Black Fregat · 13.10.2014, 09:41

Сообщение от GreatThunder8

как написать запрос по поиску n-юродного прадеда

А для начала словами можете сформулировать - что такое этот самый юродный прадед?

@GreatThunder8 · 13.10.2014, 10:36 **[ТС]**

Имеется в виду двоюродный (брат прадеда или прабабушки), троюродный и т.п.

Новые блоги и статьи Все статьи Все блоги /
Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	Контроль уникальности заводского номера - вариант №2 Maks 24.03.2026 В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла: Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .	SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip	Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .
Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера - вариант №1 Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью. Данные берутся из регистра сведений, по которому настроено. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git	Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .

@GreatThunder8 0 / 0 / 0 Регистрация: 27.11.2013 Сообщений: 3
	13.10.2014, 10:36 [ТС]
	Имеется в виду двоюродный (брат прадеда или прабабушки), троюродный и т.п. 0