bet(N, M, K) :- N =< M, K = N.
bet(N, M, K) :- N < M, N1 is N+1, bet(N1, M, K).

at([N|Rest], I, K) :- I == 0, K = N.
at([N|Rest], I, K) :- I1 is I - 1, at(Rest, I1, K).

insert_arg(LastUsed, LastLocal, FlagIn, Arg, LastLocal, 1) :-
    bet(0, LastUsed, K), at([11, 12, 13], K, Arg).
insert_arg(LastUsed, LastLocal, FlagIn, Arg, LastLocal, FlagIn) :- LastUsed1 is LastUsed + 1,
    bet(LastUsed1, LastLocal, K), at([21, 22, 23], K, Arg).
insert_arg(LastUsed, LastLocal, FlagIn, Arg, LastLocal1, 0) :- LastLocal1 is LastLocal + 1,
    at([31, 32, 33], LastLocal1, Arg).


build_arg_list(0, LastUsed, LastLocal, 0, [T], LastLocal) :-
    write(0), write('Kla1'),
    bet(0, LastLocal, K), at([11, 12, 13], K, T).

build_arg_list(0, LastUsed, LastLocal, 1, [Arg], RetLastLocal) :-
    write(0), write('Kla2'),
    insert_arg(LastUsed, LastLocal, 1, Arg, RetLastLocal, FlagOut).

build_arg_list(N, LastUsed, LastLocal, Flag, [Arg|List], RetLastUsed) :-
    N > 0,
    write(N), write('Kla3 '),
    N1 is N-1,
    insert_arg(LastUsed, LastLocal, Flag, Arg, RetLastLocal, FlagOut),
    write(N), write('ins '),
    write(LastUsed), write('   '),
    write(LastLocal), write('   '),
    write(Flag), write('   '),
    write(Arg), write('   '),
    write(RetLastLocal), write('   '),
    write(FlagOut), write('   '),
    build_arg_list(N1, RetLastUsed, RetLastLocal, FlagOut, List, RetLastUsed).