ИИ 6 лаба

domains
    file=input
predicates
    nondeterm has_second_e(string)
    nondeterm has_max_length(string,string)
    nondeterm search(string)
    nondeterm search(string,string,string)
    nondeterm test(string)
clauses
    has_second_e(String):-
        frontchar(String,_,Rest),
        frontchar(Rest,101,_).
    has_max_length(New,Old):-
        str_len(New,N),
        str_len(Old,M),
        N>=M.
    search(String):-
        search(String,"",""),!.
    search("",Token,""):-
        has_second_e(Token),
        write(Token);
        write("Can`t found!"),!.
    search(String,"",""):-
        fronttoken(String,Token,Rest),
        search(Rest,Token,""),!.
    search(String,Token,Last):-
        has_max_length(Token,Last),
        has_second_e(Token),
        search(String,"",Token),!.
    search(String,_,Last):-
        fronttoken(String,Token,Rest),
        search(Rest,Token,Last),!.
    search("",_,Last):-
        write(Last),!.
    test(Filename):-
        openread(input,Filename),
        readdevice(input),
        readln(String),
        closefile(input),
        search(String),
        nl.
goal
    search("belka strelka testsss"),nl.