Отношения между объектами

@S0l0mka · Регистрация: 09.04.2013

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

можно вопрос?
задание:
В программе определены предикаты: отец(X,Y); мать(X,Y); мужчина(X); женщина(X); знакомая(X,Y).
Определить люди_одного_круга(X,Y), если X,Y - братья, или сестры, или они знакомы, или их родители знакомы.

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
PREDICATES
father(symbol,symbol)
mother(symbol,symbol)
woman(symbol)
man(symbol)
friend(symbol,symbol)
parent(symbol,symbol)
around(symbol,symbol)
CLAUSES
 
father(sasha,kostya).
father(sasha,masha).
father(sergey,natasha).
father(sergey, lena).
 
mother(toma,masha).
mother(toma,kostya).
mother(nina,natasha).
mother(nina,lena).
 
man(sasha).
man(sergey).
man(kostya).
 
 
woman(toma).
woman(nina).
woman(masha).
woman(natasha).
woman(lena).
woman(karina).
 
friend(sasha,sergey).
friend(sergey,sasha).
friend(sergey,toma).
friend(toma,nina).
friend(toma, sergey).
friend(nina,toma).
friend(karina,masha).
friend(masha,karina).
friend(X,Y):-parent(X,Z), parent(Y,Z).
 
parent(X,Y):-father(X,Y).
parent(X,Y):-mother(X,Y).
 
 
around(X,Y):-parent(X,Y); parent(Y,X),not(X=Y).
around(X,Y):-(mother(Z,X); father(Z,X)), (mother(Q,Y); father(Q,Y)), friend(Z,Q),not(X=Y),not(Z=Q).
around(X,Y):- friend(X,Y), not(X=Y).

подскажите, в чем здесь ошибка?

@ZV · 14.04.2013, 14:34

father(Z,X)) - лишняя скобка

а, нет, извините. А где запрос, собственно?

@Грымзик · 15.04.2013, 22:57

В этом прологе нельзя такие выражения писать (А ; B ), C . Можно только А ; B ; C ...
И (mother(Z,X); father(Z,X)) просто меняйте на parent.

@S0l0mka · 21.04.2013, 13:28 **[ТС]**

все равно не помогает(( Masha дважды знает Natasha и Lena...и у других тоже такие косяки

@Грымзик · 22.04.2013, 22:31

Маша дважды знаете Наташу потому что и их матери друзья и их отцы друзья. Пролог все пути смотрит, поэтому и выдаются все решения. Надо как-то так

Prolog
1
2
3
4
5
6
7
8
9
friend1(sasha,sergey).
friend1(sergey,toma).
friend1(toma,nina).
friend1(karina,masha).
 
parents_are_friends(X,Y):-mother(X,M),parent(Y,P),friend1(M,P),!.
parents_are_friends(X,Y):-father(X,F),parent(Y,P),friend1(F,P),!.
 
friend(X,Y):-friend1(X,Y);friend1(Y,X);parents_are_friends(X,Y).

20.12.2013, 20:21

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
PREDICATES
nondeterm father(symbol,symbol)
nondeterm mother(symbol,symbol)
nondeterm woman(symbol)
nondeterm man(symbol)
nondeterm friend(symbol,symbol)
nondeterm parent(symbol,symbol)
nondeterm around(symbol,symbol)
nondeterm print
CLAUSES
 
 
father(sasha,kostya).
father(sasha,masha).
father(sergey,natasha).
father(sergey, lena).
 
mother(toma,masha).
mother(toma,kostya).
mother(nina,natasha).
mother(nina,lena).
 
man(sasha).
man(sergey).
man(kostya).
 
 
woman(toma).
woman(nina).
woman(masha).
woman(natasha).
woman(lena).
woman(karina).
 
friend(sasha,sergey).
friend(sergey,sasha).
friend(sergey,toma).
friend(masha,karina).
friend(X,Y):-parent(X,Z), parent(Y,Z),not(Z=Z).
 
parent(X,Y):-father(X,Y).
parent(X,Y):-mother(X,Y).
 
 
around(X,Y):-parent(X,Y); parent(Y,X),not(X=Y).
around(X,Y):-parent(X,Y), parent(Q,Y), friend(Z,Q),not(X=Y),not(Z=Q).
around(X,Y):- friend(X,Y), not(X=Y).
print.
GOAL
%parent(X,Y).
%woman(X).
%man(X).
%mother(X,Y).
%friend(X,Y).
around(X,Y).

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@ZV 3 / 3 / 0 Регистрация: 17.04.2011 Сообщений: 128
	14.04.2013, 14:34
	father(Z,X)) - лишняя скобка а, нет, извините. А где запрос, собственно? 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	15.04.2013, 22:57
	В этом прологе нельзя такие выражения писать (А ; B ), C . Можно только А ; B ; C ... И (mother(Z,X); father(Z,X)) просто меняйте на parent. 0

@S0l0mka 1 / 1 / 0 Регистрация: 09.04.2013 Сообщений: 5
	21.04.2013, 13:28 [ТС]
	все равно не помогает(( Masha дважды знает Natasha и Lena...и у других тоже такие косяки 0