Проверить, является ли второй список набором литеральных атомов из первого списка, перечисленных в том же порядке

@LakVol · Регистрация: 26.12.2018

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

Напишите бинарный предикат, истинный, если второй список есть набор литеральных атомов из первого списка, перечисленный в том же порядке, что и в первом списке. Например, вызов

Prolog
1
pred([1,a,q(X,Y),bc,2,d],[a,bc,d])

заканчивается успехом, вызовы

Prolog
1
2
3
pred([1,a,q(X,Y),bc,2,d],[a,d,bc]),
pred([1,a,q(X,Y),bc,2,d],[a,d,bc,d]),
pred([1,a,q(X,Y),bc,2,d],[a,b,c,d])

заканчиваются неуспехом, вызов

Prolog
1
pred([1,a,q(X,Y),bc,2,d],A)

заканчивается успехом с сопоставлением A = [a,bc,d].

Есть часть решения :

Prolog
1
2
3
predprov( _,[] ).
predprov( [X|XSS], [X|XS] ) :- predprov( XSS, XS ).
predprov( [_|XSS], [X|XS] ) :- predprov( XSS,[X|XS] ).

Как проверить, что второй список состоит только из литеральных атомов?

@Black Fregat · 27.12.2018, 00:26

Prolog
1
pred(L1, L2) :- findall(X, (member(X,L1), atom(X), L2).

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	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. На борту пять. . .