Десятичное число, представленное списком десятичных цифр, представить списком двоичных разрядов

domains
    i = integer
    list = i*
predicates
    nondeterm run
    nondeterm makelist(integer, list)
clauses
    makelist(0, []):-!.
    makelist(N, [H|T]):-
        H = N mod 10,
        A = N div 10,
        makelist(A, T).
        
    run:-
        write("---------------------------------------------"), nl,
        write("Enter number:"), readint(N), makeList(N, L),
        write("---------------------------------------------"), nl,
        write("Decimal list: "), write(L), nl,
        write("---------------------------------------------"), nl.
goal
run.

convertList([], []).
convertList([H1|T1], [H2|T2]) :-
  convertItem(H1, H2),
  convertList(T1, T2).

domains
int=integer
intl=int*
intll=intl*
 
predicates
app(intl,intl,intl)
d10(int,intl)
d2(int,intl)
m2(int,intl)
d10_2(intl,intll)
task(int,intll)
 
clauses
app([],X,X).
app([H|T],X,[H|Y]) :- app(T,X,Y).
 
d10(N,[N]) :- N<10, !.
d10(N,R) :- N1=N div 10, M=N mod 10, d10(N1,R1), app(R1,[M],R).
 
d2(N,[N]) :- N<2, !.
d2(N,R) :- N1=N div 2, M=N mod 2, d2(N1,R1), app(R1,[M],R).
 
m2(0,[0]).
m2(1,[1]).
m2(2,[1,0]).
m2(3,[1,1]).
m2(4,[1,0,0]).
m2(5,[1,0,1]).
m2(6,[1,1,0]).
m2(7,[1,1,1]).
m2(8,[1,0,0,0]).
m2(9,[1,0,0,1]).
 
d10_2([],[]).
d10_2([H|T],[Q|R]) :- m2(H,Q), d10_2(T,R).
 
task(N,R) :- d10(N,LN), d10_2(LN,R).