Выравнивание текста по ширине

domains
s    = string 
sl   = s*
file = in;  out
 
predicates
w
toList(s,sl)
getLengthOfWords(sl,integer,integer)
getCountOfWords(sl,integer)
gen_space(integer)
norm_str(integer,integer,sl,integer)
 
clauses
w. w:-w.    % especially, for reading of all string in file         
                % translate to list
% A - input string
% Right argue - output list
% =============================================
toList(A,[B|C]) :- fronttoken(A,B,D), !, toList(D,C).
toList(_,[]).
 
% A - input elem of list
% strlen(A) - length of input elem of list
% =============================================
getLengthOfWords([],N,N).
getLengthOfWords([H|T],N,R) if 
                         str_len(H,X), 
                         N1=N+X,
                         getLengthOfWords(T,N1,R).
             
% amount of words in list
% =======================================
getCountOfWords([],0).
getCountOfWords([H|T],N) if 
                         getCountOfWords(T,N1),
                         N=N1+1.
 
% normalize string
% =======================================
           % generate some spaces ...
           % ============================
           gen_space(0).
           gen_space(A) if A > 0, write(" "),
                           A1=A-1,
                        gen_space(A1).  
 
% n
 
% A - common amount of symbol withous spaces
% P - amount of mod
% D - divisor between words
% CD - count divisor
 
norm_str(_,_,[],_).
 
norm_str(P,D,[H|T],CD) if
    CD > 0,
    write(H), gen_space(D),
    P > 0, write(" "), P1=P-1,
    E=CD-1,
    norm_str(P1,D,T,E);                  
    
    CD > 0, norm_str(P,D,T,E). 
 
norm_str(_,_,[H|T],0) if write(H). 
             
% ==================================
 
GOAL
 clearwindow,
 
 openread(in,"in.txt"), 
 readdevice(in),
 openwrite(out,"out.txt"),
 writedevice(out),
 readln(X),
 toList(X,Xl),
 getLengthOfWords(Xl,0,N_SYM), % count of sym
 getCountOfWords(Xl,A_WORD),   % amount of words
 
 B=40-N_SYM,
 C=A_WORD-1, 
 Pie=B mod C,
 Divisor=B div C,  
 norm_str(Pie,Divisor,Xl,C),
 
 
 %eof(in),  % file functionalcing           
 closefile(in), 
 closefile(out).

DOMAINS
i=integer
s=string   sl=s*
%
CONSTANTS
length=40
%
PREDICATES
insSps(s,sl)
toList(s,sl,i,i)
addSps(i,sl,sl)
add(i,i,sl,sl)
%
CLAUSES
%
insSps(A,B):- toList(A,[_|C],-1,D), addSps(D,C,B).
%
toList(A,[" ",B|C],D,E):- frontToken(A,B,F), !, str_len(B,G), J=D+G+1, toList(F,C,J,E).
toList(_,[],A,A).
%
addSps(A,B,C):- A<length, !, add(A,An,B,Bn), addSps(An,Bn,C).
addSps(_,A,A).
%
add(A,B,[C,D|E],[C,F|G]):- A<length, !, concat(" ",D,F), An=A+1, add(An,B,E,G).
add(A,A,B,B).

Goal: insSps("zemlya imeet formu chemodana",Out)
Out=["zemlya","     ","imeet","     ","formu","     ","chemodana"]
1 Solution
Goal: insSps("eto prosto test",Out)
Out=["eto","              ","prosto","             ","test"]
1 Solution

Goal: A=5, C=A+B