Задача про шахматистов

@dimas-vs · Регистрация: 28.10.2014

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

Очень нужна помощь людей, кто разбирается в PROLOG. я к сожалению не очень его понимаю.

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

Заранее спасибо.

@Black Fregat · 17.11.2014, 08:41

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
solve(L) :-
    L = [['майор', _], ['капитан', _], ['лейтенант', _], ['старшина', _], ['сержант', _], ['ефрейтор', _]],
 
    member([_, 'летчик'], L),
    member([_, 'танкист'], L),
    member([_, 'артиллерист'], L),
    member([_, 'минометчик'], L),
    member([_, 'сапер'], L),
    member([_, 'связист'], L),
    
    % 1
    not(member(['лейтенант', 'летчик'], L)),
    not(member(['лейтенант', 'танкист'], L)),
    not(member(['лейтенант', 'минометчик'], L)),
    
    not(member(['майор', 'летчик'], L)),
    not(member(['майор', 'танкист'], L)),
    not(member(['майор', 'минометчик'], L)),
    
    not(member(['сержант', 'летчик'], L)),
    not(member(['сержант', 'танкист'], L)),
    not(member(['сержант', 'минометчик'], L)),
    
    % 2
    not(member(['капитан', 'танкист'], L)),
    
    % 3
    not(member(['капитан', 'минометчик'], L)),
    not(member(['ефрейтор', 'минометчик'], L)),
    
    % 4 
    not(member(['майор', 'связист'], L)),
    
    % 5
    not(member(['лейтенант', 'сапер'], L)),
    not(member(['майор', 'сапер'], L)),
 
    true.

@dimas-vs · 22.11.2014, 23:42 **[ТС]**

Написал код, но что то не так, потому что запускаю выполнение и пролог просто зависает
подскажите пожалуйста что не так

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
domains
d=symbol
predicates
zvanie(symbol)
spec(symbol)
rez(symbol,symbol)
solution(symbol,symbol,symbol,symbol,symbol,symbol,symbol,symbol,symbol,symbol,symbol,symbol)
clauses
zvanie(major).
zvanie(kapitan).
zvanie(leitenant).
zvanie(starshina).
zvanie(serjant).
zvanie(efreitor).
spec(letchik).
spec(tankist).
spec(artilerist).
spec(minometchik).
spec(saper).
spec(svazist).
rez(X,Y):-
zvanie(X),spec(Y),X=major,not(Y=letchik),not(Y=tankist),not(Y=minometchik),not(Y=svazist),not(Y=saper);
zvanie(X),spec(Y),X=kapitan,not(Y=tankist),not(Y=minometchik),not(Y=svazist);
zvanie(X),spec(Y),X=leitenant,not(Y=letchik),not(Y=tankist),not(Y=minometchik),not(Y=saper);
zvanie(X),spec(Y),X=starshina;
zvanie(X),spec(Y),X=serjant,not(Y=letchik),not(Y=tankist),not(Y=minometchik);
zvanie(X),spec(Y),X=efreitor,not(Y=minometchik),not(Y=svazist).
solution(X1,Y1,X2,Y2,X3,Y3,X4,Y4,X5,Y5,X6,Y6):-zvanie(X1),zvanie(X2),zvanie(X3),zvanie(X4),zvanie(X5),zvanie(X6),
spec(Y1),spec(Y2),spec(Y3),spec(Y4),spec(Y5),spec(Y6),
rez(X1,Y1),rez(X2,Y2),rez(X3,Y3),rez(X4,Y4),rez(X5,Y5),rez(X6,Y6),
Y1<>Y2,Y1<>Y3,Y1<>Y4,Y1<>Y5,Y1<>Y6,Y2<>Y3,Y2<>Y4,Y2<>Y5,Y2<>Y6,Y3<>Y4,Y3<>Y5,Y3<>Y6,Y4<>Y5,Y4<>Y6,Y5<>Y6,
X1<>X2,X1<>X3,X1<>X4,X1<>X5,X1<>X6,X2<>X3,X2<>X4,X2<>X5,X2<>X6,X3<>X4,X3<>X5,X3<>X6,X4<>X5,X4<>X6,X5<>X6,!.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@dimas-vs 0 / 0 / 0 Регистрация: 28.10.2014 Сообщений: 4

	Задача про шахматистов 12.11.2014, 01:00. Показов 1445. Ответов 2 Метки нет (Все метки) Очень нужна помощь людей, кто разбирается в PROLOG. я к сожалению не очень его понимаю. В финале турнира шахматистов встретились представители шести воинских званий: майор, капитан, лейтенант, старшина, сержант и ефрейтор. Все они были разных специальностей : летчик, танкист, артиллерист, минометчик, сапер и связист. Необходимо определить специальность каждого из шахматистов по следующим данным. В первом туре лейтенант выиграл у летчика, майор у танкиста, а сержант у минометчика. Во втором туре капитан выиграл у танкиста. В третьем и четвертом турах минометчик из-за болезни не участвовал в турнире, поэтому свободными от игры оказались капитан и ефрейтор. В четвертом туре майор выиграл у связиста. Победителями турнира оказались лейтенант и майор, а хуже всех выступил сапер. Заранее спасибо. 0