Логическая задача на Турбо Прологе, мысли иссякли

19.11.2011, 16:48. **Показов** 2556. **Ответов** 3

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

Необходимо решить задачу на Турбо Прологе. Вот задание:

Трое друзей спорили, как распределятся места среди трех команд.
- Первым будет "Рассвет", а "Комета" займет третье место, - сказал Семен.
- Первой будет "Комета", а "Спутник" - третьим, - сказал Василий.
- Первым будет кто угодно, но только не "Рассвет", - сказал Андрей.
Оказалось, что двое из друзей были целиком правы, а третий полностью неправ.
В ответе указать последовательно первые буквы команд, занявших первое, второе и третье место.

@aag · 19.11.2011, 18: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
s=string   sl=s*   sll=sl*   slll=sll*
%
CONSTANTS
ps=["Semen","Vasya","Andrey"]
ts=["Rassvet","Kometa","Sputnik"]
ans=[[["",""],["",""],[]],[["",""],[],[""]],[[],["",""],[""]]]
%
PREDICATES
solve(sl)
sts(sl,sl)
st(s,sl,s)
mix(sl,sl)
select(sl,s,sl)   select(slll,sll,slll)
%
CLAUSES
%
solve(A):- mix(ts,A), findAll(B,sts(A,B),C), select(ans,C,_).
%
sts(A,B):- select(ps,C,_), findAll(D,st(C,A,D),B).
%
st("Semen",["Rassvet"|_],"").
st("Semen",[_,_,"Kometa"],"").
st("Vasya",["Kometa"|_],"").
st("Vasya",[_,_,"Sputnik"],"").
st("Andrey",[X|_],""):- X<>"Rassvet".
%
mix([],[]):- !.
mix(A,[B|C]):- !, select(A,B,D), mix(D,C).
%
select([A|B],A,B).
select([A|B],C,[A|D]):- select(B,C,D).

Prolog
1
2
3
Goal: solve(Out)
Out=["Kometa","Rassvet","Sputnik"]
1 Solution

Буковки сами покусайте...

20.11.2011, 11:31

Спасибо большое=)

@aag · 20.11.2011, 12:24

Перемудрил я, однако. Совершенно прав или совершенно не прав оно не один раз угадал, один раз нет. Так вот:

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
DOMAINS
s=string   sl=s*
%
CONSTANTS
ts=["Rassvet","Kometa","Sputnik"]
%
PREDICATES
solve(sl)
%sts(sl,sl)
st(sl,s)
mix(sl,sl)
select(sl,s,sl)
%
CLAUSES
%
solve(A):- mix(ts,A), findAll(B,st(A,B),C), C=["",""].
%
st(["Rassvet",_,"Kometa"],"").
st(["Kometa",_,"Sputnik"],"").
st([X|_],""):- X<>"Rassvet".
%
mix([],[]):- !.
mix(A,[B|C]):- select(A,B,D), mix(D,C).
%
select([A|B],A,B).
select([A|B],C,[A|D]):- select(B,C,D).

Prolog
1
2
3
Goal: solve(A)
A=["Kometa","Rassvet","Sputnik"]
1 Solution

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .

Da_Hater

	Логическая задача на Турбо Прологе, мысли иссякли 19.11.2011, 16:48. Показов 2556. Ответов 3 Метки нет (Все метки) Необходимо решить задачу на Турбо Прологе. Вот задание: Трое друзей спорили, как распределятся места среди трех команд. - Первым будет "Рассвет", а "Комета" займет третье место, - сказал Семен. - Первой будет "Комета", а "Спутник" - третьим, - сказал Василий. - Первым будет кто угодно, но только не "Рассвет", - сказал Андрей. Оказалось, что двое из друзей были целиком правы, а третий полностью неправ. В ответе указать последовательно первые буквы команд, занявших первое, второе и третье место.