Нахождение в списке двух наименьших элементов (доделать программу)

 process('4'):-
    write(" 4. Нахождение в строке самого короткого слова."),nl,
    write(" Введите строку: "),
    read_list_s(List1),
    find_longest_str(List1,Word,Word1),
    write(" Первый элемент - ",Word),nl,
    write(" Второй элемент - ",Word1),nl,
    readchar(_),!.
 
 read_list_s([H|T]):-
    readln(H),
    H<>"",
    read_list_s(T).
 read_list_s([]).
 
 
     find_longest_str([S,S1],S,S1).
 find_longest_str([S1,S2,S3],S1,S2):-
    str_len(S1,L1),
    str_len(S2,L2),
    str_len(S3,L3),
    L1<=L2,
    L3<=L2.
 find_longest_str([S1,S2,S3],S2,S3):-
        str_len(S1,L1),
        str_len(S2,L2),
        str_len(S3,L3),
        L1>L2,
        L3<L1.
 find_longest_str([H1,H2,H3|T],Max,Max1):-
    str_len(H1,L1),
    str_len(H2,L2),
    str_len(H3,L3),
    L1<=L2,
    L3<=L2,
    find_longest_str([H1,H3|T],Max,Max1).
 find_longest_str([H1,H2,H3|T],Max,Max1):-
        str_len(H1,L1),
        str_len(H2,L2),
        str_len(H3,L3),
        L1>L2,
        L3<L1,
        find_longest_str([H2,H3|T],Max,Max1).

domains
int=integer
intl=int*
 
predicates
 
min_elt(intl,int)
del_all(intl,int,intl)
task(intl,int,int)
 
clauses
 
min_elt([H],H).
min_elt([H|T],H) :- min_elt(T,Q), H<Q.
min_elt([H|T],Q) :- min_elt(T,Q), H>=Q.
 
del_all([],_,[]).
del_all([H|T],H,Q) :- del_all(T,H,Q).
del_all([Q|T],H,[Q|P]) :- Q<>H, del_all(T,H,P).
 
task(H,M1,M2) :- min_elt(H,M1), del_all(H,M1,Z), min_elt(Z,M2).