Предикат, преобразующий строку в строку, состоящую из первых букв слов - 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)
flist(strl,strl)
join(strl,str)
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).
 
flist([],[]).
flist([H|T],[S|R]) :- frontchar(H,C,_), frontchar(S,C," "), flist(T,R).
 
task(S,R) :- split(S,LS), flist(LS,LR), join(LR,R).

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

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

Домены: str=string, strl=str*, int=integer, intl=int*.
Предикаты: instr(str,char,int,int), headstr(str,int,str), tailstr(str,int,str), split(str,strl), flist(strl,strl), join(strl,str), task(str,str).
Клаузы:
- 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).
- flist([],[]).
- flist([H|T],[S|R]) :- frontchar(H,C,_), frontchar(S,C, ), flist(T,R).
- task(S,R) :- split(S,LS), flist(LS,LR), join(LR,R). Вот список номеров и соответствующих названий переменных:
1: S
2: C
3: N
4: N1
5: K
6: RS
7: H
8: T
9: Q
10: RR
11: R
12: H1
13: L
14: S1
15: R1
16: B
17: K1
18: RS1
19: LS
20: LR