Логическая задача про котят и мальчиков.

@Alenacanyon · Регистрация: 09.03.2011

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

Имеется четыре котенка – Дружок, Елисей, Фантик и Мурлыка и четыре мальчика – Миша, Максим, Леня и Дима. Каждый мальчик взял себе котенка любимого цвета.
При этом:
1. Фантик – не рыжий
Мурлыка – не серый
2. Дружок – не белый
Елисей – не серый
3. У Миши – черный котенок
У Максима – Мурлыка
4. У Лени – Елисей
У Димы – белый котенок
5. Дима не взял Фантика
Дружок – не серый
Одно из этих пяти утверждений ложное
У какого мальчика какой котенок?

@Грымзик · 14.12.2011, 17:03

Это какую логику надо иметь, что бы одну и ту же тему 3 раза за 2 дня создать?

@Alenacanyon · 14.12.2011, 17:14 **[ТС]**

Просто очень сильно нужно!!!

@Грымзик · 14.12.2011, 17:38

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
check(1,Ans):-not(member(_/fantik/rizii,Ans)),not(member(_/murlika/serii,Ans)).
check(2,Ans):-not(member(_/druzok/belii,Ans)),not(member(_/elisei/serii,Ans)).
check(3,Ans):-member(misha/_/chernii,Ans),member(maksim/murlika/_,Ans).
check(4,Ans):-member(lenya/elisei/_,Ans),member(dima/_/belii,Ans).
check(5,Ans):-not(member(dima/fantik/_,Ans)),not(member(_/druzok/serii,Ans)).
 
check(N,true,Ans):-check(N,Ans).
check(N,false,Ans):-not(check(N,Ans)).
 
solve(Ans):-Ans=[misha/K1/C1,maksim/K2/C2,lenya/K3/C3,dima/K4/C4],
    permutation([druzok,elisei,fantik,murlika],[K1,K2,K3,K4]),
    permutation([rizii,serii,belii,chernii],[C1,C2,C3,C4]),
    select(false,[I1,I2,I3,I4,I5],[true,true,true,true]),
    check(1,I1,Ans),check(2,I2,Ans),check(3,I3,Ans),
    check(4,I4,Ans),check(5,I5,Ans),write([I1,I2,I3,I4,I5]).

@Alenacanyon · 14.12.2011, 18:38 **[ТС]**

Ух ты

Спасибо огромное!!!

@aag · 15.12.2011, 00:23

Prolog
1
2
3
4
... 
select(false,[I1,I2,I3,I4,I5],[true,true,true,true]),
check(1,I1,Ans),check(2,I2,Ans),check(3,I3,Ans),
check(4,I4,Ans),check(5,I5,Ans),write([I1,I2,I3,I4,I5]).

Витеевато... По-моему, проще:
...
findAll(X,check(X,Ans),Y),
Y=[_,_,_,_].

@Грымзик · 15.12.2011, 00:45

Да уж, это действительно красиво!

19.12.2011, 19:36

Добавлено через 2 минуты

Сообщение от Грымзик

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
check(1,Ans):-not(member(_/fantik/rizii,Ans)),not(member(_/murlika/serii,Ans)).
check(2,Ans):-not(member(_/druzok/belii,Ans)),not(member(_/elisei/serii,Ans)).
check(3,Ans):-member(misha/_/chernii,Ans),member(maksim/murlika/_,Ans).
check(4,Ans):-member(lenya/elisei/_,Ans),member(dima/_/belii,Ans).
check(5,Ans):-not(member(dima/fantik/_,Ans)),not(member(_/druzok/serii,Ans)).
 
check(N,true,Ans):-check(N,Ans).
check(N,false,Ans):-not(check(N,Ans)).
 
solve(Ans):-Ans=[misha/K1/C1,maksim/K2/C2,lenya/K3/C3,dima/K4/C4],
    permutation([druzok,elisei,fantik,murlika],[K1,K2,K3,K4]),
    permutation([rizii,serii,belii,chernii],[C1,C2,C3,C4]),
    select(false,[I1,I2,I3,I4,I5],[true,true,true,true]),
    check(1,I1,Ans),check(2,I2,Ans),check(3,I3,Ans),
    check(4,I4,Ans),check(5,I5,Ans),write([I1,I2,I3,I4,I5]).

Напишите пожалуйста решение этой задачи на Visual Prolog'е

@freest · 19.12.2011, 19:53

Вы начните, а мы поможем, если возникнут проблемы.

19.12.2011, 22:05

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
domains
 s=symbol
 kto_chto=kto(s,s,s)
 spisok=kto_chto*
predicates
 nondeterm kurtka(s)
 nondeterm shlaypa(s) 
 nondeterm razn_kur(s,s,s,s)
 nondeterm razn_shl(s,s,s,s)
 nondeterm otvet(spisok)
 
 nondeterm member(kto_chto,spisok)
 nondeterm print_list(spisok)
 nondeterm rez
clauses
 kurtka("Дружок").kurtka("Елисей").
 kurtka("Фантик").kurtka("Мурлыка").
 shlaypa("белый").shlaypa("серый").
 shlaypa("рыжый").shlaypa("черный").
 
 razn_kur(M1,M2,M3,M4):-kurtka(M1),kurtka(M2),kurtka(M3),kurtka(M4),
 M1<>M2,M1<>M3,M1<>M4,M2<>M3,M2<>M4,M3<>M4.
 
 razn_shl(M1,M2,M3,M4):-shlaypa(M1),shlaypa(M2),shlaypa(M3),shlaypa(M4),
 M1<>M2,M1<>M3,M1<>M4,M2<>M3,M2<>M4,M3<>M4.
 
 otvet([kto("Миша взял",M1,N1),
 kto("Максим взял",M2,N2),
 kto("Леня взял",M3,N3),
 kto("Дима взял",M4,N4)]):- 
 razn_kur(M1,M2,M3,M4),
 M2="Мурлыка",
 M3="Елисей",
 M4<>"Фантик",
 razn_shl(N1,N2,N3,N4),
 N1="черный",N1<>"рыжый",N1<>"белый",
 N2<>"серый",
 N4="белый".
 
 
 member(X,[X|_]):-!.
 member(X,[_|T]):-member(X,T).
 
 print_list([ ]).
 print_list([X|Y]):-write(X),nl,print_list(Y).
 rez:-otvet(L),member(kto("Миша взял",_,"черный"),L),print_list(L).
goal
rez.

Может кому поможет. второе высказывание ложное

@freest · 19.12.2011, 22:27

тегом кода надо пользоваться

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук 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 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .

@Alenacanyon 1 / 1 / 0 Регистрация: 09.03.2011 Сообщений: 21

	Логическая задача про котят и мальчиков. 13.12.2011, 12:26. Показов 5004. Ответов 10 Метки нет (Все метки) Имеется четыре котенка – Дружок, Елисей, Фантик и Мурлыка и четыре мальчика – Миша, Максим, Леня и Дима. Каждый мальчик взял себе котенка любимого цвета. При этом: 1. Фантик – не рыжий Мурлыка – не серый 2. Дружок – не белый Елисей – не серый 3. У Миши – черный котенок У Максима – Мурлыка 4. У Лени – Елисей У Димы – белый котенок 5. Дима не взял Фантика Дружок – не серый Одно из этих пяти утверждений ложное У какого мальчика какой котенок? 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	14.12.2011, 17:03
	Это какую логику надо иметь, что бы одну и ту же тему 3 раза за 2 дня создать? 0

@Alenacanyon 1 / 1 / 0 Регистрация: 09.03.2011 Сообщений: 21
	14.12.2011, 17:14 [ТС]
	Просто очень сильно нужно!!! 0

@Alenacanyon 1 / 1 / 0 Регистрация: 09.03.2011 Сообщений: 21
	14.12.2011, 18:38 [ТС]
	Ух ты Спасибо огромное!!! 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	15.12.2011, 00:45
	Да уж, это действительно красиво! 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	19.12.2011, 19:53
	Вы начните, а мы поможем, если возникнут проблемы. 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	19.12.2011, 22:27
	тегом кода надо пользоваться 0