Перед каждым вхождением символа C в строку S1 вставить строку S2 - Prolog

Формулировка задачи:

Доброго времени суток, помогите, пожалуйста, с программой: Даны строки S1, S2 и символ C. Перед каждым вхождением символа C в строку S1 вставить строку S2.

Решение задачи: «Перед каждым вхождением символа C в строку S1 вставить строку S2»

Листинг программы

predicates
insert(string, char, string, string)
 
clauses
insert("", _, _, "") :- !.
insert(S1, C, S, S2) :-
  frontchar(S1, C, R1),
  !,
  insert(R1, C, S, R2),
  frontchar(SS, C, R2),
  concat(S, SS, S2).
insert(S1, C, S, S2) :-
  frontchar(S1, CC, R1),
  insert(R1, C, S, R2),
  frontchar(S2, CC, R2).

Объяснение кода листинга программы

Код выполняет вставку строки S2 перед каждым вхождением символа C в строку S1. В коде используется два правила для обработки входных данных:

Если S1 пустая строка, то возвращается пустая строка. Это правило имеет приоритет над остальными, чтобы обрабатывать базовый случай.
В остальных случаях код разбивает S1 на две части по первому символу C. Затем рекурсивно вызывается функция insert для первой части S1, символа C и S, S2. Это позволяет вставить S2 перед каждым вхождением символа C в S1. В коде используется два термина:
frontchar/3 - это вспомогательный терм, который разбивает строку на две части по первому символу C. Он возвращает две строки: первую строку до символа C и вторую строку начиная со следующего символа после C.
concat/3 - это вспомогательный терм, который объединяет две строки S и SS в одну строку S2. Он используется для объединения двух строк в конце, чтобы получить итоговую строку S2.