Форум программистов, компьютерный форум, киберфорум
Наши страницы
Prolog
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.70/10: Рейтинг темы: голосов - 10, средняя оценка - 4.70
chacknorris
1 / 1 / 0
Регистрация: 17.01.2011
Сообщений: 13
1

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

17.01.2011, 19:31. Просмотров 1955. Ответов 9
Метки нет (Все метки)

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

I'm realy need you help!!!
0
QA
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
17.01.2011, 19:31
Ответы с готовыми решениями:

Strawberry Prolog
Составьте собственные примеры с числом фактов n=10. Проверьте производство новых фактов из...

Strawberry Prolog
parent(volodya, nina). parent(volodya, sveta). parent(katya, nina). parent(katya, sveta)....

Strawberry Prolog
Жизненно необходимо запустить этот код в среде Strawberry prolog. В Turbo Prolog всё работает....

Strawberry prolog
Здравствуйте. помогите пожалуйста перенести программу написанную в Prolog в Strawberry prolog....

Strawberry prolog списки
найти N-ый элемент списка. подскажите пожалуйста, сделала вот так: appened(,1,H)....

9
Грымзик
2486 / 1461 / 36
Регистрация: 14.09.2009
Сообщений: 2,742
18.01.2011, 01:07 2
А Вы можете сначала на бумажке решить? Я что-то не очень понимаю как использовать фразу "Там служил только один из его родственников.". Это значит, что у генерала только 1 родственник, т.е муж жены и брат сестры совпадают? Тогда прога что-то не находит ответа. А без этого ограничения их получается десять.
0
chacknorris
1 / 1 / 0
Регистрация: 17.01.2011
Сообщений: 13
18.01.2011, 23:13  [ТС] 3
я надеюсь это поможет :

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

А
Д Б
Г В

Пусть пехотинец будет обозначен буквой А. Поскольку трое из офицеров служили в Ленинграде, а двое там не были, то танкисту должна соответствовать либо В, либо Г. Допустим, что танкист -- В. Отсюда следует (с учетом условия задачи), что А и В не служили в Ленинграде и что Б -- генерал. Продолжая рассуждать, приходим к выводу, что Б, В и Г служили в Киеве. Поэтому лейтенантом должен быть А или Д и букве Д должен соотвествовать артиллерист. Далее, либо В и Г, либо В и Б не служили в Свердловске. Следовательно, А, Д и Б либо А, Д и Г служили в Свердловске. А поскольку мы знаем, что Б не служил в Свердловске, это значит, что там служили А, Д и Г и что Д -- полковник. Таким образом, А -- лейтенант.
Переходим к следующему этапу решения. А, Б и В служили в Горьком, а Д там не служил. Нам известно, что капитан в Горьком не служил. Поскольку капитан не может быть Д, следовательно, ему соответствует буква Г. Далее приходим к заключению, что В -- майор. Известно, что по меньшей мере один офицер должен быть старше по званию, чем связист. Следовательно, связист не может быть Б и должен быть Г, а саперу соответствует буква Б.
Таким образом, в итоге получается, что лейтенант -- пехотинец, генерал -- сапер, майор -- танкист, капитан -- связист, полковник -- артиллерист.
0
Грымзик
2486 / 1461 / 36
Регистрация: 14.09.2009
Сообщений: 2,742
19.01.2011, 02:16 4
Не поняла откуда Вы взяли, что
Далее, либо В и Г, либо В и Б не служили в Свердловске.
0
19.01.2011, 02:16
chacknorris
1 / 1 / 0
Регистрация: 17.01.2011
Сообщений: 13
19.01.2011, 13:08  [ТС] 5
от сюда http://golovolomka.com.ua/node/165
1
Грымзик
2486 / 1461 / 36
Регистрация: 14.09.2009
Сообщений: 2,742
19.01.2011, 13:37 6
Это мне ничего не поясняет, я тогда не понимаю откуда они это взяли. Мне кажется, что там ошибка. Так что или свое решение предложите, или я выложу прогу без учета этого условия про Свердловск и одного родственника, и в нем будет 10 вариантов расстановки званий.
0
chacknorris
1 / 1 / 0
Регистрация: 17.01.2011
Сообщений: 13
07.02.2011, 18:15  [ТС] 7
большое вам спасибо за помощь в решении всех моих лабораторных, попробуйте как-либо сделать эту, хоть 10 вариантов всё равно..просто я не знаю как вам помочь.
0
Грымзик
2486 / 1461 / 36
Регистрация: 14.09.2009
Сообщений: 2,742
07.02.2011, 18:50 8
Слишком долго Вы отвечали, я ту задачу уже затерла давно, так что давайте сами, а сюда уже если только проблемы со своим кодом будут.
0
chacknorris
1 / 1 / 0
Регистрация: 17.01.2011
Сообщений: 13
17.02.2011, 20:05  [ТС] 9
помоги, я пытался на других форумах мне никто решить не может, только на тебя надежда, Грымзик. Удели пожалуйста время моей задаче..
самому разбираться слижком тяжело я в универе не бываю вообще..
0
Грымзик
2486 / 1461 / 36
Регистрация: 14.09.2009
Сообщений: 2,742
17.02.2011, 23:59 10
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).
0
17.02.2011, 23:59
Answers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
17.02.2011, 23:59

strawberry prolog логика
Всем, здравствуйте, если есть возможность помогите пожалуйста.Задача на strawberry prolog/ Звучит...

Печать списка (Strawberry Prolog)
Добрый день! У меня такая проблема: В Prolog не очень сильна так что образовалась маленькая...

Считывание из файла на Strawberry Prolog
Для заданного списка строк-слов сформировать строку-предложение, в которую записаны строки-слова...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
10
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2019, vBulletin Solutions, Inc.