Преобразование формы записи выражения из префиксной в постфиксную - Prolog

predicates
 
operator(char)
convert(string, string, string)
 
clauses
 
operator('+').
operator('-').
operator('*').
operator('/').
 
convert(In, Out, Rest) :-
  frontchar(In, C, Rest1),
  operator(C),
  !,
  convert(Rest1, Op1, Rest2),
  convert(Rest2, Op2, Rest),
  concat(Op2, ")", Out1),
  str_char(Out2, C),
  concat(Out2, Out1, Out3),
  concat(Op1, Out3, Out4),
  concat("(", Out4, Out).
  
convert(In, Out, Rest) :-
  frontchar(In, C, Rest),
  str_char(Out, C).