Преобразование строки в список слов, которые упорядочены по длине по убыванию

domains     
    strElement=string
    strList=strElement*
    intElement=integer
    intList=intElement*
predicates
    str_a_list(string,strlist)
    length(string,integer)
    longer(string,string)
    min_list(strlist,strElement)
       delete_one(string,strList,strList)
choice(strlist,strlist)
clauses       
str_a_list("",[]).
str_a_list(S,[H|T]):-
        fronttoken(S,H,S1),
        str_a_list(S1,T).
length("",0):-!.
length(S,N):-
        frontchar(S,_,S1),
        length(S1,N1),
        N=N1+1. 
longer(A,B):-
        length(A,LenA),
        length(B,LenB),
        LenA>LenB.
min_list([X],X).
min_list([H|T],M):-
     min_list(T,M_T),
     length(H,X1), 
     length(M_T,X2),
     X1>=X2,!,M=M_T.
min_list([H|T],H). 
delete_one(_,[],[]).
delete_one(X,[X|L],L):-!.
delete_one(X,[Y|L],[Y|L1]):-
                 delete_one(X,L,L1).
choice([ ],[ ]). 
choice(L,[X|T]):-min_list(L,X),
        delete_one(X,L,L1),
                choice(L1,T).
 goal
Readln(S), str_a_list(S,L),choice(L,L1),write(L1).