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

@gebs · Регистрация: 19.12.2010

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

Помогите пожалуйста написать прогу:
описать предикат p(List1,List2), который истинен если каждый повторяющийся элемент List1 встречается в List2 хотя бы один раз подряд идущим.
Очень надеюсь на вашу помощь!

@Грымзик · 19.12.2010, 17:47

Prolog
1
2
3
4
5
6
check(H,[H,H|_]):-!.
check(H,[_|Tail]):-check(H,Tail).
 
p([],_).
p([H|Tail],L):-member(H,Tail),!,check(H,L),p(Tail,L).
p([_|Tail],L):-p(Tail,L).

@gebs · 19.12.2010, 18:34 **[ТС]**

Я вам очень благодарен, но не могли бы вы дать текст с predicates и clauses. Я пока что еще не очень дружу с прологом

@Грымзик · 19.12.2010, 18:42

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
domains
ilist=integer*
 
predicates
check(integer,ilist).
p(ilist,ilist).
member(integer,ilist).
 
clauses
member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).
 
check(H,[H,H|_]):-!.
check(H,[_|Tail]):-check(H,Tail).
 
p([],_).
p([H|Tail],L):-member(H,Tail),!,check(H,L),p(Tail,L).
p([_|Tail],L):-p(Tail,L).
 
goal
p([1,2,3,4,5,3,1],[3,6,1,5,5,3,3,1,3,5,1,1]).

@gebs · 19.12.2010, 18:49 **[ТС]**

Огромное спасибо, цены вам нет)))

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию 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 и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@gebs 6 / 6 / 0 Регистрация: 19.12.2010 Сообщений: 20

	описать предикат, котор истинен если каждый повтор. эл-т списка1 встречается в списке2 хотя бы один раз подряд идущим 19.12.2010, 16:11. Показов 1154. Ответов 4 Метки нет (Все метки) Помогите пожалуйста написать прогу: описать предикат p(List1,List2), который истинен если каждый повторяющийся элемент List1 встречается в List2 хотя бы один раз подряд идущим. Очень надеюсь на вашу помощь! 0

@gebs 6 / 6 / 0 Регистрация: 19.12.2010 Сообщений: 20
	19.12.2010, 18:34 [ТС]
	Я вам очень благодарен, но не могли бы вы дать текст с predicates и clauses. Я пока что еще не очень дружу с прологом 0

@gebs 6 / 6 / 0 Регистрация: 19.12.2010 Сообщений: 20
	19.12.2010, 18:49 [ТС]
	Огромное спасибо, цены вам нет))) 0