Strawberry prolog звания офицеров

@chacknorris · Регистрация: 17.01.2011

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

Всем привет! Если кому не трудно, можете сделать задачу по strawberry prolog следующего содержания : В Н-ской части служили 5 офицеров: генерал, полковник, майор, капитан и лейтенант. Один из них сапер, другой -- пехотинец, третий -- танкист, четвертый -- связист, а пятый -- ратиллерист. У каждого из них есть сестра. И каждый из них женат на сестре своего однополчанина.
Вот что известно еще об этих офицерах. По меньшей мере, один из родственников связиста старше его по званию.
Капитан никогда не служил в Горьком.
Оба родственника пехотинца и оба родственника танкиста служили раньше в Ленинграде. Ни один родственник генерала в Ленинграде не был.
Танкист служил в Киеве вместе с обоими своими родственниками, а лейтенант там не служил.
Полковник служил в Свердловске. Там служил только один из его родственников.
Генерал служил с обоими своими родственниками в Горьком, а в Свердловске он не бывал.
Артиллерист не служил ни в Горьком, ни в Киеве.
Определите, кто из офицеров какое звание имеет?

I'm realy need you help!!!

@Грымзик · 18.01.2011, 01:07

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

@chacknorris · 18.01.2011, 23:13 **[ТС]**

я надеюсь это поможет :

Добавлено через 15 секунд
Пять офицеров
Ясно, что каждый офицер имеет двух родственников. Один из них -- брат жены, а другой -- муж сестры. Обозначим для удобства каждого офицера буквой и раположим их так, чтобы соседом каждого были его родственники.

А
Д Б
Г В

Пусть пехотинец будет обозначен буквой А. Поскольку трое из офицеров служили в Ленинграде, а двое там не были, то танкисту должна соответствовать либо В, либо Г. Допустим, что танкист -- В. Отсюда следует (с учетом условия задачи), что А и В не служили в Ленинграде и что Б -- генерал. Продолжая рассуждать, приходим к выводу, что Б, В и Г служили в Киеве. Поэтому лейтенантом должен быть А или Д и букве Д должен соотвествовать артиллерист. Далее, либо В и Г, либо В и Б не служили в Свердловске. Следовательно, А, Д и Б либо А, Д и Г служили в Свердловске. А поскольку мы знаем, что Б не служил в Свердловске, это значит, что там служили А, Д и Г и что Д -- полковник. Таким образом, А -- лейтенант.
Переходим к следующему этапу решения. А, Б и В служили в Горьком, а Д там не служил. Нам известно, что капитан в Горьком не служил. Поскольку капитан не может быть Д, следовательно, ему соответствует буква Г. Далее приходим к заключению, что В -- майор. Известно, что по меньшей мере один офицер должен быть старше по званию, чем связист. Следовательно, связист не может быть Б и должен быть Г, а саперу соответствует буква Б.
Таким образом, в итоге получается, что лейтенант -- пехотинец, генерал -- сапер, майор -- танкист, капитан -- связист, полковник -- артиллерист.

@Грымзик · 19.01.2011, 02:16

Не поняла откуда Вы взяли, что

Далее, либо В и Г, либо В и Б не служили в Свердловске.

@chacknorris · 19.01.2011, 13:08 **[ТС]**

от сюда http://golovolomka.com.ua/node/165

@Грымзик · 19.01.2011, 13:37

Это мне ничего не поясняет, я тогда не понимаю откуда они это взяли. Мне кажется, что там ошибка. Так что или свое решение предложите, или я выложу прогу без учета этого условия про Свердловск и одного родственника, и в нем будет 10 вариантов расстановки званий.

@chacknorris · 07.02.2011, 18:15 **[ТС]**

большое вам спасибо за помощь в решении всех моих лабораторных, попробуйте как-либо сделать эту, хоть 10 вариантов всё равно..просто я не знаю как вам помочь.

@Грымзик · 07.02.2011, 18:50

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

@chacknorris · 17.02.2011, 20:05 **[ТС]**

помоги, я пытался на других форумах мне никто решить не может, только на тебя надежда, Грымзик. Удели пожалуйста время моей задаче..
самому разбираться слижком тяжело я в универе не бываю вообще..

@Грымзик · 17.02.2011, 23:59

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
?-solve(Ans),show(Ans),nl,nl,nl,fail.
 
show([]).
show([m(Z,P,W)|Tail]):-write(Z),write(" yavlyaetsya "),write(P),
    write(" i zenat na sestre "),write(W),nl,show(Tail).
 
member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).
 
insert(X,L,[X|L]).
insert(X,[H|Tail],[H|NewTail]):-insert(X,Tail,NewTail).
 
permutation([],[]).
permutation([H|Tail],Ans):-permutation(Tail,NewTail),insert(H,NewTail,Ans).
 
starshe("general",_).
starshe("polkovnik",X):-X=\="general".
starshe("maior",X):-X=\="general",X=\="polkovnik".
starshe("kapitan","leitenant").
 
brother("generala","general").
brother("polkovnika","polkovnik").
brother("maiora","maior").
brother("kapitana","kapitan").
brother("leitenanta","leitenant").
 
rodstvennik(A,L,B):-member(m(A,_,Wife),L),brother(Wife,B).
rodstvennik(A,L,B):-brother(Sestra,A),member(m(B,_,Sestra),L).
 
check([]).
check([m(A,_,B)|Tail]):-not(brother(B,A)),check(Tail).
 
u1(L):-member(m(Svyazist,"svyazistom",_),L),rodstvennik(Svyazist,L,RSvyazista),
    starshe(RSvyazista,Svyazist),!.
 
u2(L):-not(rodstvennik("kapitan",L,"general")),!.
 
u3(L):-member(m(Pehotinec,"pehotincem",_),L),rodstvennik(Pehotinec,L,RPehotinca1),
    rodstvennik(Pehotinec,L,RPehotinca2),RPehotinca1=\=RPehotinca2,
    not(rodstvennik(RPehotinca1,L,"general")),not(rodstvennik(RPehotinca2,L,"general")),!.
 
u4(L,RTankista1,RTankista2):-member(m(Tankist,"tankistom",_),L),rodstvennik(Tankist,L,RTankista1),
    rodstvennik(Tankist,L,RTankista2),RTankista1=\=RTankista2,
    Tankist=\="leitenant",RTankista1=\="leitenant",RTankista2=\="leitenant",
    not(rodstvennik(RTankista1,L,"general")),not(rodstvennik(RTankista2,L,"general")),!.
 
u5(L,RTankista1,RTankista2):-member(m(Artillerist,"artilleristom",_),L),Artillerist=\="general",
    not(rodstvennik(Artillerist,L,"general")),Artillerist=\=RTankista1,Artillerist=\=RTankista2,!.
 
solve(L):-
    L=[m("general",PGenerala,WGenerala),m("polkovnik",PPolkovnika,WPolkovnika),
    m("maior",PMaiora,WMaiora),m("kapitan",PKapitana,WKapitana),
    m("leitenant",PLeitenanta,WLeitenanta)],
    P=[PGenerala,PPolkovnika,PMaiora,PKapitana,PLeitenanta],
    permutation(["saperom","pehotincem","tankistom","svyazistom","artilleristom"],P),
    W=[WGenerala,WPolkovnika,WMaiora,WKapitana,WLeitenanta],
    permutation(["generala","polkovnika","maiora","kapitana","leitenanta"],W),check(L),
    u1(L),u2(L),u3(L),u4(L,RTankista1,RTankista2),u5(L,RTankista1,RTankista2).

Новые блоги и статьи Все статьи Все блоги /
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 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в 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

@chacknorris 1 / 1 / 0 Регистрация: 17.01.2011 Сообщений: 13

	Strawberry prolog звания офицеров 17.01.2011, 19:31. Показов 3017. Ответов 9 Метки нет (Все метки) Всем привет! Если кому не трудно, можете сделать задачу по strawberry prolog следующего содержания : В Н-ской части служили 5 офицеров: генерал, полковник, майор, капитан и лейтенант. Один из них сапер, другой -- пехотинец, третий -- танкист, четвертый -- связист, а пятый -- ратиллерист. У каждого из них есть сестра. И каждый из них женат на сестре своего однополчанина. Вот что известно еще об этих офицерах. По меньшей мере, один из родственников связиста старше его по званию. Капитан никогда не служил в Горьком. Оба родственника пехотинца и оба родственника танкиста служили раньше в Ленинграде. Ни один родственник генерала в Ленинграде не был. Танкист служил в Киеве вместе с обоими своими родственниками, а лейтенант там не служил. Полковник служил в Свердловске. Там служил только один из его родственников. Генерал служил с обоими своими родственниками в Горьком, а в Свердловске он не бывал. Артиллерист не служил ни в Горьком, ни в Киеве. Определите, кто из офицеров какое звание имеет? I'm realy need you help!!! 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.01.2011, 01:07
	А Вы можете сначала на бумажке решить? Я что-то не очень понимаю как использовать фразу "Там служил только один из его родственников.". Это значит, что у генерала только 1 родственник, т.е муж жены и брат сестры совпадают? Тогда прога что-то не находит ответа. А без этого ограничения их получается десять. 0

@chacknorris 1 / 1 / 0 Регистрация: 17.01.2011 Сообщений: 13
	18.01.2011, 23:13 [ТС]
	я надеюсь это поможет : Добавлено через 15 секунд Пять офицеров Ясно, что каждый офицер имеет двух родственников. Один из них -- брат жены, а другой -- муж сестры. Обозначим для удобства каждого офицера буквой и раположим их так, чтобы соседом каждого были его родственники. А Д Б Г В Пусть пехотинец будет обозначен буквой А. Поскольку трое из офицеров служили в Ленинграде, а двое там не были, то танкисту должна соответствовать либо В, либо Г. Допустим, что танкист -- В. Отсюда следует (с учетом условия задачи), что А и В не служили в Ленинграде и что Б -- генерал. Продолжая рассуждать, приходим к выводу, что Б, В и Г служили в Киеве. Поэтому лейтенантом должен быть А или Д и букве Д должен соотвествовать артиллерист. Далее, либо В и Г, либо В и Б не служили в Свердловске. Следовательно, А, Д и Б либо А, Д и Г служили в Свердловске. А поскольку мы знаем, что Б не служил в Свердловске, это значит, что там служили А, Д и Г и что Д -- полковник. Таким образом, А -- лейтенант. Переходим к следующему этапу решения. А, Б и В служили в Горьком, а Д там не служил. Нам известно, что капитан в Горьком не служил. Поскольку капитан не может быть Д, следовательно, ему соответствует буква Г. Далее приходим к заключению, что В -- майор. Известно, что по меньшей мере один офицер должен быть старше по званию, чем связист. Следовательно, связист не может быть Б и должен быть Г, а саперу соответствует буква Б. Таким образом, в итоге получается, что лейтенант -- пехотинец, генерал -- сапер, майор -- танкист, капитан -- связист, полковник -- артиллерист. 0

@chacknorris 1 / 1 / 0 Регистрация: 17.01.2011 Сообщений: 13
	19.01.2011, 13:08 [ТС]
	от сюда http://golovolomka.com.ua/node/165 1

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	19.01.2011, 13:37
	Это мне ничего не поясняет, я тогда не понимаю откуда они это взяли. Мне кажется, что там ошибка. Так что или свое решение предложите, или я выложу прогу без учета этого условия про Свердловск и одного родственника, и в нем будет 10 вариантов расстановки званий. 0

@chacknorris 1 / 1 / 0 Регистрация: 17.01.2011 Сообщений: 13
	07.02.2011, 18:15 [ТС]
	большое вам спасибо за помощь в решении всех моих лабораторных, попробуйте как-либо сделать эту, хоть 10 вариантов всё равно..просто я не знаю как вам помочь. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	07.02.2011, 18:50
	Слишком долго Вы отвечали, я ту задачу уже затерла давно, так что давайте сами, а сюда уже если только проблемы со своим кодом будут. 0

@chacknorris 1 / 1 / 0 Регистрация: 17.01.2011 Сообщений: 13
	17.02.2011, 20:05 [ТС]
	помоги, я пытался на других форумах мне никто решить не может, только на тебя надежда, Грымзик. Удели пожалуйста время моей задаче.. самому разбираться слижком тяжело я в универе не бываю вообще.. 0