Замена символов в Visual Prolog

implement main
    open core,console,string
 
domains
    charlist = char*. /*Список символов*/
 
class predicates
    chlist_string:(charlist, string)nondeterm anyflow.
clauses
    chlist_string([], "").
    chlist_string([H|T], S):-
        chlist_string(T, S1), 
        S = concat(chartostring(H),S1).
/* Предикат замены символов в строке */
class predicates
    zamena_simv:(string, string, char, char) nondeterm (i,o,i,i).
clauses
    zamena_simv(S, S1, A, B):-
    chlist_string(S, LS),
        замена(LS, RLS, A, B),!,
        chlist_string(RLS, S1).
class predicates
    замена:( charlist, charlist, char, char) nondeterm anyflow.
clauses
    замена([], [],_, _).
    замена([A|T1], [B|T2], A, B):-
        замена(T1,T2,A , B).
    замена([X|T1], [X|T2], A, B):-
        замена(T1,T2,A , B).
    run():- console::init(),
        L = replaceAll("локон волосл","л","к"),
        write("локон волосл","\t",L), nl,
        zamena_simv("локон волосл", L1, ' ',' '),
        write("локон волосл","\t",L1), nl,!.
    run().
 
 
end implement main
goal
    mainExe::run(main::run).

implement main
    open core, string, console

S = concat(chartostring(H),S1).