Создайте предикат меняющий местами первую и последнюю букву в каждом слове исходной строки - Prolog

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

Здравствуйте! Имеется вот такой код:

   domains
     
    str=string
    strl=str*
    int=integer
    intl=int*
     
    predicates
     
    instr(str,char,int,int)
    headstr(str,int,str)
    tailstr(str,int,str)
    split(str,strl)
    join(strl,str)
    lens(str,int)
    swapw(str,str)
    swapa(strl,strl)
    task(str,str)
     
    clauses
     
    instr("",_,_,0).
    instr(S,C,N,N1) :- frontchar(S,C,_), N1=N+1, !.
    instr(S,C,N,K)  :- frontchar(S,_,RS), N1=N+1, instr(RS,C,N1,K). 
     
    headstr(_,0,"").
    headstr(S,L,R) :- frontchar(S,B,RS), L1=L-1, headstr(RS,L1,RR), frontchar(R,B,RR).
     
    tailstr(S,0,S).
    tailstr(S,N,Q) :- frontchar(S,_,RS), N1=N-1, tailstr(RS,N1,Q).
     
    split("",[]).
    split(S,[S])   :- instr(S,' ',0,K), K=0,!.
    split(S,[H|T]) :- instr(S,' ',0,K), K>1, K1=K-1, headstr(S,K1,H), tailstr(S,K,RS), split(RS,T).
    split(S,Q)     :- frontchar(S,' ',RS), split(RS,Q).
     
    join([],"").
    join([H|T],R) :- join(T,RR), concat(H," ",H1), concat(H1,RR,R).
     
    lens("",0).
    lens(S,L) :- frontchar(S,_,RS), lens(RS,L1), L=L1+1.
     
    swapw(S,W) :- lens(S,LS),LS1=LS-1,tailstr(S,LS1,LAST), headstr(S,1,FIRST), frontchar(S,_,M),
                  lens(M,L), L1=L-1,  headstr(M,L1,MID),
                  concat(LAST,MID,TMP), concat(TMP,FIRST,W).
     
    swapa([],[]).              
    swapa([H|T],[HH|TT]) :- swapw(H,HH), swapa(T,TT).              
     
    task(S,R) :- split(S,LS), swapa(LS,RS), join(RS,R).

Кто понимает, можете расписать пожалуйста, что тут происходит в каждой строчке, а то вообще ничего понять не могу Или может можно как-то легче переделать? Заранее спасибо!

Объясните хотя бы за что какие предикаты отвечают и что происходит в классах, пожалуйста

Я прочитала: frontchar - это разделение исходной строки на первый символ и хвост concat - соединение двух строк ([],"") - пустой строке соответствует пустой список у меня такие вопросы: Зачем нужен предикат instr? "" это список, я разобралась, но что значит _ и 0? В предикатах headstr и tailstr мы отделаем первые и последние буквы соответственно? Что происходит в предикате split и зачем там проверка K>0 , K1=K-1? Зачем нужен предикат lens? Помогите пожалуйста кто разбирается, очень трудно самой разобраться, очень мало литературы по этому языку(

Решение задачи: «Создайте предикат меняющий местами первую и последнюю букву в каждом слове исходной строки»

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

swapa([H|T],[HH|TT]) :- swapw(H,HH), swapa(T,TT).

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

В данном коде представлен рекурсивный вызов для решения задачи по перестановке букв в каждом слове исходной строки. Вот список описывающих его элементов:

swapa([H|T],[HH|TT]) - это рекурсивный вызов функции swapa, который принимает два аргумента: H - первое слово в списке T, HH - результат перестановки букв в слове H, TT - результат рекурсивного вызова функции swapa для списка T.
swapw(H,HH) - это вспомогательный предикат, который меняет местами первую и последнюю букву в слове H и возвращает результат HH.
H - первое слово в списке T.
T - список слов, в которых необходимо выполнить перестановку букв.
HH - результат перестановки букв в слове H.
TT - результат рекурсивного вызова функции swapa для списка T.