Формирование цепочки по определенному правилу

@Gwen Stacy · Регистрация: 08.10.2014

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

Цепочка из трех бусин формируется по следующему правилу: На первом месте в цепочке стоит одна из бусин А, Б, В. На втором – одна из бусин Б, В, Г. На третьем месте – одна из бусин А, В, Г, не стоящая в цепочке на первом или втором месте. Написать определение цепочки и запрос на порождения всех цепочек, соответствующих правилу.
Помогите, пожалуйста.

@arlat · 28.04.2015, 17:59

Prolog
1
2
?- findall( [P1, P2, P3], (member(P1, [a, b, c]), member(P2, [b, c, d]), member(P3, [a, c, d]), \+ P3 = P1, \+ P3 = P2), Ps).
Ps = [[a, b, c], [a, b, d], [a, c, d], [a, d, c], [b, b, a], [b, b, c], [b, b|...], [b|...], [...|...]|...].

@Gwen Stacy · 03.05.2015, 14:06 **[ТС]**

Такой вопрос: примерно каким будет количество получаемых цепочек в итоге?
У меня вышло 61. Странно.

@arlat · 08.05.2015, 10:45

Сообщение от Gwen Stacy

У меня вышло 61

наверное 16, очепятка?
кто там знает

правило не то чтобы совсем уж простое, хоть и укладывается в одну строчку
да и преподаватель наверняка захочет, чтобы была своя реализация member и чтобы не в одну строку, а пару предикатов хоть...

@Николь23 · 04.04.2020, 16:47

arlat, а вы не знаете, почему пролог при запуске выдает не все вариации, а в какой-то момент начинает вот это выдавать: [b, b|...], [b|...], [...|...]|...]? Может быть это настройка какая-то у пролога и её можно изменить, чтобы увидеть все вариации.

@arlat · 04.04.2020, 17:43

Сообщение от Николь23

Может быть это настройка какая-то у пролога и её можно изменить, чтобы увидеть все вариации.

Predicate write_term/2 опция max_depth, точно не помню, только зачем... надо дописать свой вывод да и все

Prolog
1
? - findall( [P1, P2, P3], (member(P1, [a, b, c]), member(P2, [b, c, d]), member(P3, [a, c, d]), \+ P3 = P1, \+ P3 = P2), Ps), (member(P, Ps), writeln(P), fail ; true).

или без findall, просто

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
?- (member(P1, [a, b, c]), member(P2, [b, c, d]), member(P3, [a, c, d]), \+ P3 = P1, \+ P3 = P2, writeln([P1, P2, P3]), fail ; true).
[a,b,c]
[a,b,d]
[a,c,d]
[a,d,c]
[b,b,a]
[b,b,c]
[b,b,d]
[b,c,a]
[b,c,d]
[b,d,a]
[b,d,c]
[c,b,a]
[c,b,d]
[c,c,a]
[c,c,d]
[c,d,a]
true.

@Николь23 · 04.04.2020, 17:52

arlat, о, спасибо большое)

Новые блоги и статьи Все статьи Все блоги /
Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .
[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .

@Gwen Stacy 0 / 0 / 1 Регистрация: 08.10.2014 Сообщений: 17

	Формирование цепочки по определенному правилу 28.04.2015, 17:46. Показов 2499. Ответов 6 Метки нет (Все метки) Цепочка из трех бусин формируется по следующему правилу: На первом месте в цепочке стоит одна из бусин А, Б, В. На втором – одна из бусин Б, В, Г. На третьем месте – одна из бусин А, В, Г, не стоящая в цепочке на первом или втором месте. Написать определение цепочки и запрос на порождения всех цепочек, соответствующих правилу. Помогите, пожалуйста. 0

@Gwen Stacy 0 / 0 / 1 Регистрация: 08.10.2014 Сообщений: 17
	03.05.2015, 14:06 [ТС]
	Такой вопрос: примерно каким будет количество получаемых цепочек в итоге? У меня вышло 61. Странно. 0

@Николь23 0 / 0 / 0 Регистрация: 15.12.2016 Сообщений: 9
	04.04.2020, 16:47
	arlat, а вы не знаете, почему пролог при запуске выдает не все вариации, а в какой-то момент начинает вот это выдавать: [b, b\|...], [b\|...], [...\|...]\|...]? Может быть это настройка какая-то у пролога и её можно изменить, чтобы увидеть все вариации. 0

@Николь23 0 / 0 / 0 Регистрация: 15.12.2016 Сообщений: 9
	04.04.2020, 17:52
	arlat, о, спасибо большое) 0

Формирование цепочки по определенному правилу

Решение