логическая задачка на пролог-д

@Marta555 · Регистрация: 09.06.2012

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

Задачка:
Пришла весна. Четверо друзей – Костя, Вадим, Слава и Марат – влюбились в девушек (в различных!) и решили, что каждый подарит своей избраннице букет цветов. Разведка доложила, какие цветы нравятся девушкам, и ребята заказали четыре букета – розы, ирисы, хризантемы, лилии. Да вот незадача, забыли, кто с чем должен идти. Помогите ребятам не опозориться перед прекрасными дамами и не опоздать на свидание, если они вспомнили следующие факты. Таня любит ирисы. Вадим любит Олю. Марат точно помнит, что он должен подарить лилии. Настя не любит хризантемы, а Люда не любит розы. Костя идет на свидание не с Настей, и она не встречается с Маратом.

Помогите исправить задачку,моя фантазия иссякла вот на чем.не работает((((спасибо

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
мальчики(Костя).
мальчики(Вадим).
мальчики(Слава).
мальчики(Марат).
 
девочки(Настя).
девочки(Люда).
девочки(Таня).
девочки(Оля).
 
цветы(розы).
цветы(лилии).
цветы(хризантемы).
цветы(ирисы).
 
невозможно(Таня,розы).
невозможно(Таня,лилии).
невозможно(Таня,хризантемы).
невозможно(Вадим,Настя).
невозможно(Вадим,Люда).
невозможно(Вадим,Таня).
невозможно(Марат,розы).
невозможно(Марат,хризантемы).
невозможно(Марат,ирисы).
невозможно(Настя,хризантемы).
невозможно(Люда,розы).
невозможно(Костя,Настя).
невозможно(Марат,Настя).
 
функ(К,В,С,М,Н,Л,Т,О,р,л,х,и):-мальчики(К),мальчики(В),мальчики(С),мальчики(М),девочки(Н),девочки(Л),девочки(Т),девочки(О),цветы(р),цветы(л),цветы(х),цветы(и),
НЕ(РАВНО(К,В)),НЕ(РАВНО(К,С)),НЕ(РАВНО(К,М)),НЕ(РАВНО(В,С)),НЕ(РАВНО(В,М)),НЕ(РАВНО(С,М)),НЕ(РАВНО(Н,Л)),НЕ(РАВНО(Н,Т)),НЕ(РАВНО(Н,О)),НЕ(РАВНО(Л,Т)),
 
НЕ(РАВНО(Л,О)),НЕ(РАВНО(Т,О)),НЕ(РАВНО(р,л)),НЕ(РАВНО(р,х)),НЕ(РАВНО(р,и)),НЕ(РАВНО(л,х)),НЕ(РАВНО(л,и)),НЕ(РАВНО(ч,и)).
 
возможно(a,b,d):-НЕ(невозможно(a,b,d)).
 
соответствие(К,В,С,М,Н,Л,Т,О,р,л,х,и):-функ(К,В,С,М,Н,Л,Т,О,р,л,х,и),возможно(К,Н,р),возможно(В,Л,л),возможно(С,Т,х),возможно(М,О,и).
 
?соответствие(Костя,Вадим,Слава,Марат,Н,Л,Т,О ,р,л,х,и).

@Грымзик · 10.06.2012, 00:47

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
девочки(Настя).
девочки(Люда).
девочки(Таня).
девочки(Оля).
 
цветы(розы).
цветы(лилии).
цветы(хризантемы).
цветы(ирисы).
 
любит(Таня,ирисы).
 
нелюбит(Настя,хризантемы).
нелюбит(Люда,розы).
 
возможно(Д,Ц)<-любит(Д,Ц).
возможно(Д,Ц)<-НЕ(любит(Д,_)),НЕ(нелюбит(Д,Ц)).
 
соответствие(К,к,В,в,С,с,М,м)<-
     РАВНО(В,Оля),девочки(К),НЕ(РАВНО(К,В)),НЕ(РАВНО(К,Настя)),
     девочки(С),НЕ(РАВНО(К,С)),НЕ(РАВНО(В,С)),девочки(М),
     НЕ(РАВНО(К,М)),НЕ(РАВНО(В,М)),НЕ(РАВНО(С,М)),НЕ(РАВНО(М,Настя)),
 
     РАВНО(м,лилии),цветы(к),НЕ(РАВНО(м,к)),цветы(в),НЕ(РАВНО(м,в)),НЕ(РАВНО(к,в)),
     цветы(с),НЕ(РАВНО(м,с)),НЕ(РАВНО(к,с)),НЕ(РАВНО(в,с)),
 
     возможно(К,к),возможно(В,в),возможно(С,с),возможно(М,м).
 
вывод(М,Б,Д)<-ВЫВОД(М," + ",Б," -> ",Д).
 
?соответствие(К,к,В,в,С,с,М,м),вывод(Костя,к,К),вывод(Вадим,в,В),вывод(Слава,с,С),вывод(Марат,м,М).

@Marta555 · 10.06.2012, 13:25 **[ТС]**

Спасибо большое!А что означает в соответствии девочки(К)...девочки(С)...девочки(М)?

@Грымзик · 10.06.2012, 16:26

Ну надо же сгенерить имена девочек)

@Marta555 · 14.06.2012, 16:35 **[ТС]**

как-то лично можно с вами пообщаться насчет этой задачи?

@Грымзик · 14.06.2012, 16:45

Всегда можно обратиться в личку. Но если Вам что-то не понятно, то задавайте вопрос именно тут. Это потом и другим может быть полезно.

@Marta555 · 14.06.2012, 16:50 **[ТС]**

мне все понятно только так оказывается писать уже нельзя.надо всю БД,что известна в задаче писать в начале и все факты,по задаче тоже там

@Грымзик · 14.06.2012, 16:57

Что? Интересно что в данной задаче Вы называете БД, а что фактами. И если сейчас факты не в начале, то где они по-Вашему?

@Marta555 · 14.06.2012, 17:04 **[ТС]**

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
девочки(Настя).
девочки(Люда).
девочки(Таня).
девочки(Оля).
 
цветы(розы).
цветы(лилии).
цветы(хризантемы).
цветы(ирисы).
 
мальчики(Костя).
мальчики(Вадим).
мальчики(Слава).
мальчики(Марат).
 
возможно(Таня,ирисы).
возможно(Оля,Вадим).
 
невозможно(Люда,розы).
невозможно(Настя,Марат).
невозможно(Настя,хризантемы).
невозможно(Настя,Костя).
 
 
 
Функ(К,М,С,В,н,л,т,о,H,R,L,I):-мальчики(К),мальчики(М),мальчики(С),мальчики(В),
девочки(н),девочки(л),девочки(т),девочки(о),
цветы(H),цветы(R),цветы(L),цветы(I),
 
 
НЕ(РАВНО(К,М)),НЕ(РАВНО(К,С)),НЕ(РАВНО(К,В)),
НЕ(РАВНО(М,С)),НЕ(РАВНО(М,В)),
НЕ(РАВНО(С,В)),
 
НЕ(РАВНО(н,л)),НЕ(РАВНО(н,т)),НЕ(РАВНО(н,о)),
НЕ(РАВНО(л,т)),НЕ(РАВНО(л,о)),
НЕ(РАВНО(т,о)),
 
НЕ(РАВНО(H,R)),НЕ(РАВНО(H,L)),НЕ(РАВНО(H,I)),
НЕ(РАВНО(R,L)),НЕ(РАВНО(R,I)),
НЕ(РАВНО(L,I)).
 
%возможно(x,y):-возможно(x,y).
%возможно(x,y,z):- НЕ(невозможно(x,y,z)), известно(x,y,z).
%возможно(x,y):-известно(x,y).
 
возможно(x,y):-НЕ(невозможно(x,y)),!.
%возможно(x,y):- НЕ(невозможно(x,y)).
 
соответствие(К,М,С,В,н,л,т,о,H,R,L,I):-Функ(К,М,С,В,н,л,т,о,H,R,L,I), возможно(К,н),возможно(М,л),возможно(С,т),возможно(В,о),
возможно(К,H),возможно(М,R),возможно(С,L),возможно(В,I),
возможно(н,H),возможно(л,R),возможно(т,L),возможно(о,I).
%возможно(К,н,H), возможно(М,л,R), возможно(С,т,L), возможно(В,о,I).
 
 
?соответствие(Костя,Марат,Слава,Вадим,н,л,т,о,H,R,L,I).

Добавлено через 38 секунд
ну,типа вот так надо,все,что дано в начале.но так не получается.пишет переполнение стека

@Грымзик · 14.06.2012, 17:13

Вообщем я так и не поняла, чем мой вариант не устраивает. У меня тоже все факты в начале.

@Marta555 · 14.06.2012, 17:15 **[ТС]**

там все факты,что связаны с мальчиками через РАВНО написаны

Новые блоги и статьи Все статьи Все блоги /
Отправка уведомления на почту при изменении наименования справочника Maks 25.03.2026 Программная отправка письма электронной почты на примере изменения наименования типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 25.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	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 Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере нетипового документа выдачи шин для спецтехники с табличной частью, разработанного в конфигурации КА2. Данные берутся из. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 23.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git

@Marta555 0 / 0 / 0 Регистрация: 09.06.2012 Сообщений: 6
	10.06.2012, 13:25 [ТС]
	Спасибо большое!А что означает в соответствии девочки(К)...девочки(С)...девочки(М)? 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	10.06.2012, 16:26
	Ну надо же сгенерить имена девочек) 0

@Marta555 0 / 0 / 0 Регистрация: 09.06.2012 Сообщений: 6
	14.06.2012, 16:35 [ТС]
	как-то лично можно с вами пообщаться насчет этой задачи? 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	14.06.2012, 16:45
	Всегда можно обратиться в личку. Но если Вам что-то не понятно, то задавайте вопрос именно тут. Это потом и другим может быть полезно. 0

@Marta555 0 / 0 / 0 Регистрация: 09.06.2012 Сообщений: 6
	14.06.2012, 16:50 [ТС]
	мне все понятно только так оказывается писать уже нельзя.надо всю БД,что известна в задаче писать в начале и все факты,по задаче тоже там 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	14.06.2012, 16:57
	Что? Интересно что в данной задаче Вы называете БД, а что фактами. И если сейчас факты не в начале, то где они по-Вашему? 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	14.06.2012, 17:13
	Вообщем я так и не поняла, чем мой вариант не устраивает. У меня тоже все факты в начале. 0

@Marta555 0 / 0 / 0 Регистрация: 09.06.2012 Сообщений: 6
	14.06.2012, 17:15 [ТС]
	там все факты,что связаны с мальчиками через РАВНО написаны 0