Обработка списка в SWI-Prolog

@Inframercury · Регистрация: 05.07.2011

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

Здравствуйте! Имеется следующее задание:
В списке символов S1, S2, ..., Sn каждую указанную последовательность символов заменить на другую указанную последовательность.
Тему списков пока не осилил, да и суть самого задания не совсем понял. У меня имеется решение к данной задаче:

Prolog
1
2
3
4
5
6
replace(L1, L2, L3, L4) :-
    append([A, L2, B],L1),
    !,
    replace(B, L2, L3, BR),
    append([A, L3, BR], L4).
replace(L,_,_,L):-!.

Может мне кто-нибудь вкратце объяснить, как эта программа работает?Заранее спасибо!

Добавлено через 9 минут
Всё, разобрался

@Inframercury · 13.06.2013, 17:02 **[ТС]**

Тема снова актуальна. Может кто-нибудь подсказать принцип работы функции append?

@arlat · 07.10.2013, 13:27

Prolog
1
2
3
4
5
6
7
%%  append(?List1, ?List2, ?List1AndList2)
%
%   List1 And List2 is the concatenation of List1 and List2
 
append([], L, L).
append([H|T], L, [H|R]) :-
    append(T, L, R).

@nullxdth · 07.10.2013, 13:30

Сообщение от Inframercury

Может кто-нибудь подсказать принцип работы функции append?

Предиката, а не функции.

@arlat · 07.10.2013, 13:31

Надо осиливать тему списков, вкратце не получится

Новые блоги и статьи Все статьи Все блоги /
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. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .

@Inframercury 0 / 0 / 1 Регистрация: 05.07.2011 Сообщений: 47
	13.06.2013, 17:02 [ТС]
	Тема снова актуальна. Может кто-нибудь подсказать принцип работы функции append? 0

@arlat 798 / 601 / 158 Регистрация: 07.10.2013 Сообщений: 1,330
	07.10.2013, 13:31
	Надо осиливать тему списков, вкратце не получится 0