Преобразовать строку в список слов, упорядоченных лексикографически - Prolog

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

Ввести строку. Преобразовать введенную строку в список слов, упорядоченных лексикографически.

Решение задачи: «Преобразовать строку в список слов, упорядоченных лексикографически»

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

domains
str=string
strl=str*
int=integer
 
predicates
 
instr(str,char,int,int)
headstr(str,int,str)
tailstr(str,int,str)
split(str,strl)
mins(strl,str,str)
remf(strl,str,strl)
vsort(strl,strl)
task(str,strl)
 
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).
 
mins([],S,S).
mins([H|T],S,Q) :- H>=S, mins(T,S,Q).
mins([H|T],S,Q) :- H<S,  mins(T,H,Q).
 
remf([],_,[]).
remf([H|T],H,T) :- !.
remf([Q|T],H,[Q|Z]) :- remf(T,H,Z).
 
vsort([],[]).
vsort([S|T],[H|Z]) :- mins([S|T],S,H), remf([S|T],H,P),vsort(P,Z).
 
task(S,R) :- split(S,LS), vsort(LS,R).

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

Название: instr/4 Описание: Функция instr разделяет строку на подстроки на основе указанного разделителя. Входные данные: S - исходная строка, C - символ разделителя, N - номер начального символа, N1 - номер конечного символа Выходные данные: В случае успеха возвращается S1, в противном случае возвращается пустая строка.
Название: headstr/3 Описание: Функция headstr извлекает начальную часть строки до первого вхождения разделителя. Входные данные: S - исходная строка, L - длина начальной части, R - результат Выходные данные: В случае успеха возвращается R, в противном случае возвращается пустая строка.
Название: tailstr/3 Описание: Функция tailstr извлекает конечную часть строки после последнего вхождения разделителя. Входные данные: S - исходная строка, N - номер первого символа, R - результат Выходные данные: В случае успеха возвращается R, в противном случае возвращается пустая строка.
Название: split/2 Описание: Функция split разделяет строку на список строк на основе указанного разделителя. Входные данные: S - исходная строка, LS - список строк Выходные данные: В случае успеха возвращается LS, в противном случае возвращается пустой список.
Название: mins/3 Описание: Функция mins находит минимальный элемент в списке строк. Входные данные: S - список строк, H - текущий элемент, Q - результат Выходные данные: В случае успеха возвращается Q, в противном случае возвращается пустая строка.
Название: remf/3 Описание: Функция remf удаляет из списка строк все элементы, меньшие указанного значения. Входные данные: S - список строк, H - текущий элемент, Q - результат Выходные данные: В случае успеха возвращается Q, в противном случае возвращается пустой список.
Название: vsort/2 Описание: Функция vsort сортирует список строк в лексикографическом порядке. Входные данные: S - список строк, Q - отсортированный список Выходные данные: В случае успеха возвращается Q, в противном случае возвращается пустой список.
Название: task/2 Описание: Функция task преобразует строку в список строк, упорядоченных лексикографически. Входные данные: S - исходная строка, Q - результат Выходные данные: В случае успеха возвращается Q, в противном случае возвращается пустой список.