Visual prolog. Логическая задача

@Vikki Vikki · Регистрация: 05.06.2013

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

Новое дело Сэма Силли и Джонни Вуду.
Не успели обитатели городка Пиэри Поуч прийти в себя после покушения на мисс Вамп, которое произошло в местной гостинице и о котором я рассказывал в задаче "Преступление в гостинице", как весь городок снова был взбудоражен известием о новом уголовном преступлении.
Вскоре после полуночи в местный полицейский участок с интервалом в 10 минут один за другим поступили три вызова. К сожалению, во всех трех случаях дежурная полицейская машина напрасно выезжала по адресу, указанному в переданном вместе с вызовом сообщении: везде царили спокойствие и порядок, ни о каких взломщиках никто и не слыхивал!
-Ага!-мелькнула мысль у Сэма Силли.-Должно быть, виновником переполоха стал дежурный монтер на телефонной станции! Он по рассеянности перепутал провода, и получилось три ложных вызова.
Однако прошло немного времени, и полиция задержала трех людей, подозреваемых в кражах со взломом: Джека Браунинга, Джима Грининга и Джо Оринджинга. Вскоре выяснилось, что три вызова, поступившие ночью в полицейский участок, были ошибочными лишь наполовину: сообщение о краже со взломом во всех трех случаях было правильным, а адрес - неверным. Стали известны и трое потерпевших: мистер Литтл, мистер Грейт и мистер Миддл. Вместе со своими семьями все трое давно перебрались на дачу, и их городские квартиры пустовали. Три гангстера (Браунинг, Грининг и Оринджинг) упорно отрицали свою причастность к кражам со взломом, хотя все говорило за то, что именно они совершили преступления. Однако, для того чтобы вина их была полностью доказана, требовалось установить, чью квартиру (мистера Литтла, Грейта или Миддла) "очистил" каждый из гангстеров и когда произошла кража (в 10 минут первого, в 20 минут первого или в половине первого ночи).
Сэм Силли допросил подозреваемых, но те привели столько алиби, что все перечисленные ими "неопровержимые" факты просто не умещались в голове. Наконец, картину происшествия удалось зафиксировать в следующем виде:
1. В полицейский участок в ночь, когда были совершены кражи со взломом, никто не обращался. Тем не менее ложный вызов поступал именно в тот интервал времени, когда где-то в другом месте действительно совершалась кража со взломом;
2. помимо трех упомянутых выше краж со взломом, других преступлений того же типа в ту ночь совершено не было;
3. квартиры мистера Литтла, Грейта и Миддла расположены так далеко одна от другой, что один и тот же бандит в течение десяти минут не в состоянии ограбить любые две из них;
4. мимо квартиры мистера Литтла в 0 часов 20 минут проходил дежурный полисмен и не заметил ничего подозрительного;
5. в 0 часов 5 минут Грининг находился в таком месте, откуда за 10 минут нельзя добраться до квартиры мистера Литтла;
6. в квартире мистера Грейта в 0 часов 15 минут по свидетельству соседей все было в полном порядке;
7. Грининг был задержан полицией в 0 часов 28 минут;
8. в 0 часов 08 минут Браунинг находился в таком месте, откуда до квартиры мистера Литтла нельзя добраться за 5 минут;
9. в 0 часов 15 минут Браунинг находился в таком месте, откуда до квартиры мистера Миддла можно добраться за 7 минут;
10. Оринджинг в 0 часов 26 минут шел по такой улице, от которой за 5 минут нельзя добраться ни до квартиры мистера Литтла, ни до квартиры мистера Миддла;
11. в 0 часов 33 минуты Браунинг находился в таком месте, куда от квартиры мистера Грейта нельзя добраться за 5 минут;
12. в 0 часов 16 минут Оринджинг находился в такой части города, откуда до квартиры мистера Грейта нельзя дойти за 5 минут;
13. в 0 часов 17 минут Грининг находился в пивной, откуда до квартиры мистера Миддла 5-6 минут ходу;
14. в полночь Оринджинга отделяло от квартиры мистера Миддла расстояние по крайней мере в четверть часа ходу.
Других данных собрать не удалось, но только что перечисленные сведения подтверждались показаниями свидетелей. Необходимо произвести кое-какие расчеты, Джонни - обратился к своему помощнику Сэм Силли,- и мы выясним, кто, когда и чью квартиру ограбил! Удастся ли Джонни Вуду выполнить задание своего шефа?

Ответ:

Грининг-Грейт-00:20
Ориджинг- Литтл-00:10
Браунинг-Миддл-00:30

Кому не сложно,дайте начало для реализации этой задачи..а дальше уже сама буду

@Vikki Vikki · 29.09.2013, 22:45 **[ТС]**

ну, как-то так...наверно Х)

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
domains
    name, poterpevshiy,vremya = string      
            
predicates
    
    nondeterm condition1(name, poterpevshiy, vremya)
    nondeterm condition2(name, poterpevshiy, vremya)
    nondeterm condition3(name, poterpevshiy, vremya)
 
 
    nondeterm prestyplenie(name, poterpevshiy, vremya, name, poterpevshiy, vremya, name, poterpevshiy, vremya)
    
 
    nondeterm name(name)
    
    
    nondeterm vremya(vremya)
    
    
    nondeterm poterpevshiy(poterpevshiy)
    
    
    nondeterm eq_name(name,name)
    nondeterm eq_poter(poterpevshiy,poterpevshiy)
    nondeterm eq_vremya(vremya,vremya)
    
    
    nondeterm callcondition1(name, poterpevshiy, vremya, name, poterpevshiy, vremya, name, poterpevshiy, vremya)
    nondeterm callcondition2(name, poterpevshiy, vremya, name, poterpevshiy, vremya, name, poterpevshiy, vremya)
    nondeterm callcondition3(name, poterpevshiy, vremya, name, poterpevshiy, vremya, name, poterpevshiy, vremya)
 
 
goal
 
    prestyplenie(N1, P1, R1, N2, P2, R2, N3, P3, R3),
write("kraja 1: ","vor-", N1, " ","postradavshiy-", P1, " ","vremiya-", R1), nl,
write("kraja 2: ","vor-", N2, " ","postradavshiy-", P2, " ","vremiya-", R2), nl,
write("kraja 3: ","vor-", N3, " ","postradavshiy-", P3, " ","vremiya-", R3), nl, nl.
 
clauses
    name("Brayning").
    name("Grining").
    name("Orindjing").
 
    
    vremya("0h 10min").
    vremya("0h 20min"). 
    vremya("0h 30min").
 
    
    poterpevshiy("Greit").
    poterpevshiy("Littl").  
    poterpevshiy("Middl").
 
    
    
    prestyplenie(N1, P1, R1, N2, P2, R2, N3, P3, R3) :-
    
    
    
    eq_name(N1, "Brayning"),
    eq_name(N2, "Grining"),
    eq_name(N3, "Orindjing"),
    
    
    
    poterpevshiy(P1),
    poterpevshiy(P2), not(eq_poter(P1,P2)),
    poterpevshiy(P3), not(eq_poter(P1,P3)), not(eq_poter(P2,P3)),
 
    
    
    vremya(R1),
    vremya(R2), not(eq_vremya(R1,R2)),
    vremya(R3), not(eq_vremya(R1,R3)), not(eq_vremya(R2,R3)),
 
    
    callcondition1(N1,P1,R1,N2,P2,R2,N3,P3,R3),
    callcondition2(N1,P1,R1,N2,P2,R2,N3,P3,R3),
    callcondition3(N1,P1,R1,N2,P2,R2,N3,P3,R3).
 
        
    callcondition1(N1,P1,R1,N2,P2,R2,N3,P3,R3) :-
        condition1(N1,P1,R1) or condition1(N2,P2,R2) or condition1(N3,P3,R3).
    
    callcondition2(N1,P1,R1,N2,P2,R2,N3,P3,R3) :-
        condition2(N1,P1,R1) or condition2(N2,P2,R2) or condition2(N3,P3,R3).
    
    callcondition3(N1,P1,R1,N2,P2,R2,N3,P3,R3) :-
        condition3(N1,P1,R1) or condition3(N2,P2,R2) or condition3(N3,P3,R3).
    
 
    condition1("Brayning",P,R) :- 
            eq_vremya(R,"0h 20min") and eq_poter(P,"Greit")or 
            eq_vremya(R,"0h 30min") and eq_poter(P,"Littl") or
            eq_vremya(R,"0h 30min") and eq_poter(P,"Middl").
            
    condition2("Grining",P,R) :- 
            eq_vremya(R,"0h 20min") and eq_poter(P,"Greit")or 
            eq_vremya(R,"0h 10min") and eq_poter(P,"Middl").
            
    condition3("Orindjing",P,R) :- 
            eq_vremya(R,"0h 10min") and eq_poter(P,"Littl")or 
            eq_vremya(R,"0h 20min") and eq_poter(P,"Middl") or
            eq_vremya(R,"0h 30min") and eq_poter(P,"Greit").
    
 
    eq_vremya(R,R).
    eq_poter(P,P).
    eq_name(N,N).

@feofilakt · 01.10.2013, 13:54

Мда

Такое ощущение, что преподы в универах сговорились и создали специальную дисциплину - "решение занимательных логических задачек и головоломок на языке программирования Пролог". Видимо, в этом корень всех бед непонимания студентами практической применимости пролога. То, что это язык логического программирования, не означает, что он нужен для решения таких логических задач из книжек. Да, во всех руководствах есть волк, коза и капуста (как вариант - переливания), это для иллюстрации принципов. Её и задачи Эйнштейна вполне достаточно. Уж лучше бы "экспертные системы" делали.

@Vikki Vikki · 02.10.2013, 21:19 **[ТС]**

Я с Вами согласна....то что нас заставляют делать в институте ни в какие "ворота не лезет"...я конечно понимаю что надо изучать все из глубины..но не постоянно же...ничего нового не дают..и это огорчает. Одно для себя уяснила, что если хочешь что-то узнать,то ищи и учи сам..

@feofilakt · 03.10.2013, 04:45

Я считаю, что это проблема российского образования вообще - студентам зачастую дают не те знания, которые им нужны. На Западе с этим проблем нет, там более развита специализированность, в итоге каждый углубляется именно в ту область, которая ему интересна. У нас же чешут всех ребят под одну гребенку. Вижу сейчас все это на примере моем и моих одногруппников. Выпустился, а знаний нужных нет, хорошо хоть умения институт дал и могу теперь самостоятельно восполнять пробелы. Но было бы лучше многие абсолютно ненужные знания заменить на те, которые мне действительно пригодились бы в работе. Так что "узнавайте и ищите", все равно придется

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит переходные токи и напряжения на элементах схемы. . . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

@Vikki Vikki 1 / 1 / 0 Регистрация: 05.06.2013 Сообщений: 6

	Visual prolog. Логическая задача 14.09.2013, 15:03. Показов 2974. Ответов 4 Метки нет (Все метки) Новое дело Сэма Силли и Джонни Вуду. Не успели обитатели городка Пиэри Поуч прийти в себя после покушения на мисс Вамп, которое произошло в местной гостинице и о котором я рассказывал в задаче "Преступление в гостинице", как весь городок снова был взбудоражен известием о новом уголовном преступлении. Вскоре после полуночи в местный полицейский участок с интервалом в 10 минут один за другим поступили три вызова. К сожалению, во всех трех случаях дежурная полицейская машина напрасно выезжала по адресу, указанному в переданном вместе с вызовом сообщении: везде царили спокойствие и порядок, ни о каких взломщиках никто и не слыхивал! -Ага!-мелькнула мысль у Сэма Силли.-Должно быть, виновником переполоха стал дежурный монтер на телефонной станции! Он по рассеянности перепутал провода, и получилось три ложных вызова. Однако прошло немного времени, и полиция задержала трех людей, подозреваемых в кражах со взломом: Джека Браунинга, Джима Грининга и Джо Оринджинга. Вскоре выяснилось, что три вызова, поступившие ночью в полицейский участок, были ошибочными лишь наполовину: сообщение о краже со взломом во всех трех случаях было правильным, а адрес - неверным. Стали известны и трое потерпевших: мистер Литтл, мистер Грейт и мистер Миддл. Вместе со своими семьями все трое давно перебрались на дачу, и их городские квартиры пустовали. Три гангстера (Браунинг, Грининг и Оринджинг) упорно отрицали свою причастность к кражам со взломом, хотя все говорило за то, что именно они совершили преступления. Однако, для того чтобы вина их была полностью доказана, требовалось установить, чью квартиру (мистера Литтла, Грейта или Миддла) "очистил" каждый из гангстеров и когда произошла кража (в 10 минут первого, в 20 минут первого или в половине первого ночи). Сэм Силли допросил подозреваемых, но те привели столько алиби, что все перечисленные ими "неопровержимые" факты просто не умещались в голове. Наконец, картину происшествия удалось зафиксировать в следующем виде: 1. В полицейский участок в ночь, когда были совершены кражи со взломом, никто не обращался. Тем не менее ложный вызов поступал именно в тот интервал времени, когда где-то в другом месте действительно совершалась кража со взломом; 2. помимо трех упомянутых выше краж со взломом, других преступлений того же типа в ту ночь совершено не было; 3. квартиры мистера Литтла, Грейта и Миддла расположены так далеко одна от другой, что один и тот же бандит в течение десяти минут не в состоянии ограбить любые две из них; 4. мимо квартиры мистера Литтла в 0 часов 20 минут проходил дежурный полисмен и не заметил ничего подозрительного; 5. в 0 часов 5 минут Грининг находился в таком месте, откуда за 10 минут нельзя добраться до квартиры мистера Литтла; 6. в квартире мистера Грейта в 0 часов 15 минут по свидетельству соседей все было в полном порядке; 7. Грининг был задержан полицией в 0 часов 28 минут; 8. в 0 часов 08 минут Браунинг находился в таком месте, откуда до квартиры мистера Литтла нельзя добраться за 5 минут; 9. в 0 часов 15 минут Браунинг находился в таком месте, откуда до квартиры мистера Миддла можно добраться за 7 минут; 10. Оринджинг в 0 часов 26 минут шел по такой улице, от которой за 5 минут нельзя добраться ни до квартиры мистера Литтла, ни до квартиры мистера Миддла; 11. в 0 часов 33 минуты Браунинг находился в таком месте, куда от квартиры мистера Грейта нельзя добраться за 5 минут; 12. в 0 часов 16 минут Оринджинг находился в такой части города, откуда до квартиры мистера Грейта нельзя дойти за 5 минут; 13. в 0 часов 17 минут Грининг находился в пивной, откуда до квартиры мистера Миддла 5-6 минут ходу; 14. в полночь Оринджинга отделяло от квартиры мистера Миддла расстояние по крайней мере в четверть часа ходу. Других данных собрать не удалось, но только что перечисленные сведения подтверждались показаниями свидетелей. Необходимо произвести кое-какие расчеты, Джонни - обратился к своему помощнику Сэм Силли,- и мы выясним, кто, когда и чью квартиру ограбил! Удастся ли Джонни Вуду выполнить задание своего шефа? Ответ: Грининг-Грейт-00:20 Ориджинг- Литтл-00:10 Браунинг-Миддл-00:30 Кому не сложно,дайте начало для реализации этой задачи..а дальше уже сама буду 0

@feofilakt 18 / 18 / 0 Регистрация: 08.05.2012 Сообщений: 61
	01.10.2013, 13:54
	Мда Такое ощущение, что преподы в универах сговорились и создали специальную дисциплину - "решение занимательных логических задачек и головоломок на языке программирования Пролог". Видимо, в этом корень всех бед непонимания студентами практической применимости пролога. То, что это язык логического программирования, не означает, что он нужен для решения таких логических задач из книжек. Да, во всех руководствах есть волк, коза и капуста (как вариант - переливания), это для иллюстрации принципов. Её и задачи Эйнштейна вполне достаточно. Уж лучше бы "экспертные системы" делали. 0

@Vikki Vikki 1 / 1 / 0 Регистрация: 05.06.2013 Сообщений: 6
	02.10.2013, 21:19 [ТС]
	Я с Вами согласна....то что нас заставляют делать в институте ни в какие "ворота не лезет"...я конечно понимаю что надо изучать все из глубины..но не постоянно же...ничего нового не дают..и это огорчает. Одно для себя уяснила, что если хочешь что-то узнать,то ищи и учи сам.. 0

@feofilakt 18 / 18 / 0 Регистрация: 08.05.2012 Сообщений: 61
	03.10.2013, 04:45
	Я считаю, что это проблема российского образования вообще - студентам зачастую дают не те знания, которые им нужны. На Западе с этим проблем нет, там более развита специализированность, в итоге каждый углубляется именно в ту область, которая ему интересна. У нас же чешут всех ребят под одну гребенку. Вижу сейчас все это на примере моем и моих одногруппников. Выпустился, а знаний нужных нет, хорошо хоть умения институт дал и могу теперь самостоятельно восполнять пробелы. Но было бы лучше многие абсолютно ненужные знания заменить на те, которые мне действительно пригодились бы в работе. Так что "узнавайте и ищите", все равно придется 0