Разделение текстового файла на три примерно одинаковой длины по границе строк

DOMAINS
 
% список элементов типа STRING
list_string = string*
list = integer*
file=myfile
 
PREDICATES
%Создание меню
nondeterm result.
nondeterm menu.
nondeterm process (integer).
 
% Загрузка файла
nondeterm work_file(list_string,string).
 
% Размер файла
nondeterm file_long(list_string,integer).
 
% Создание двух списков из одного
nondeterm make_files(real,integer,list_string,list_string,list_string).
 
% Сохранение данных в файл
nondeterm save_to_file(list_string,string).
 
% Печать списка
nondeterm write_list(list_string).
 
% Чтение списка
nondeterm read_list(list_string).
 
CLAUSES
result:- menu.
% Меню программы
    menu:- nl, write ("**************************************"), nl,
           write ("0. Выход "), nl,
           write ("1. Разделение текстового файла на два примерно одинаковой длины по границе строк. "), nl,
           write ("**************************************"), nl, 
           write ("Введите пункт меню"), nl, readint (X), process(X), !.
%0. Выход 
    process(0).
    
%5. Разделение текстового файла на три примерно одинаковой длины по границе строк.   
    process(1):-
        write(" 1. Разделение файла на два файла примерно одинаковой длины по границе строк."),nl,nl,
        work_file(List1,Namef),
        write(" Введите имя первого файла: "),
        readln(Namef1),
        write(" Введите имя второго файла: "),
        readln(Namef2),
        file_long(List1,Long),
        H_long=Long/2,
        make_files(H_long,_,List1,List2,List3),
        save_to_file(List2,Namef1),
        save_to_file(List3,Namef2),
        write(" Содержимое файла ",Namef," :"),nl,
        write_list(List1),
        write(" Содержимое файла ",Namef1," после обработки данных:"),nl,
        write_list(List2),
        write(" Содержимое файла ",Namef2," после обработки данных:"),nl,
        write_list(List3),
        readchar(_),menu.
        
        
%work_file  
  work_file(List,Namefile):-
    write(" Введите имя файла: "),
    readln(Namefile),
    existfile(Namefile),
    openread(myfile,Namefile),
    readdevice(myfile),
    read_list(List),
    readdevice(keyboard),
    closefile(myfile);
    write(" Указанный файл не существует."),nl,
    work_file(List,Namefile).
    
%file_long
 file_long([],0).
 file_long([H|T],L):-
    file_long(T,L1),
    str_len(H,Len),
    L=L1+Len. 
    
%make_files     
 make_files(_,0,[],[],[]).
 make_files(Hl,Cl,[H|T],[H|T1],T2):-make_files(Hl,Cl1,T,T1,T2),
    str_len(H,Len),
    Cl=Cl1+Len,
    Cl<Hl.
 make_files(Hl,Cl,[H|T],T1,[H|T2]):-make_files(Hl,Cl,T,T1,T2).
 
%save_to_file 
 save_to_file(List,Namefile):-
    openwrite(myfile,Namefile),
    writedevice(myfile),
    write_list(List),nl,
    writedevice(screen),
    closefile(myfile).
 
%write_list 
 write_list([]).
 write_list([H|T]):-
    write(H),nl,
    write_list(T).
 
%read_list  
 read_list([H|T]):-
    readln(H),
    H<>"",
    read_list(T).
 read_list([]).
 
 GOAL
 result.