Помогите решить головоломку!

get(L,Element,L1):-append(Begin,[Element|End],L),append(Begin,End,L1).
 
solve([[Р,У,О,Г,/,С,Г,=,О,З],[Я,З,З,+,Я,А,=,С,Т,У],[Р,С,У,К,-,Р,Т,Р,Г,=,С,Г,С]]):-
    get([0,1,2,3,4,5,6,7,8,9],Р,L1),
    get(L1,У,L2),
    get(L2,О,L3),
    get(L3,Г,L4),
    get(L4,С,L5),
    get(L5,З,L6),
    РУОГ is 1000*Р+100*У+10*О+Г,СГ is 10*С+Г,ОЗ is 10*О+З,РУОГ/СГ=:=ОЗ,
    get(L6,Я,L7),
    get(L7,А,L8),
    get(L8,Т,[К]),
    ЯЗЗ is 100*Я+10*З+З,ЯА is 10*Я+А,СТУ is 100*С+10*Т+У,ЯЗЗ+ЯА=:=СТУ,
    РСУК is 1000*Р+100*С+10*У+К,РТРГ is 1000*Р+100*Т+10*Р+Г,СГС is 100*С+10*Г+С,РСУК-РТРГ=:=СГС,
    РУОГ-ЯЗЗ=:=РСУК,
    СГ*ЯА=:=РТРГ,
    ОЗ+СТУ=:=СГС.

domains 
ilist=integer*
 
predicates
append(ilist,ilist,ilist).
get(ilist,integer,ilist).
solve(ilist).
 
clauses
append([],L,L).
append([H|Tail],L,[H|Tail1]):-append(Tail,L,Tail1).
 
get(L,Element,L1):-append(Begin,[Element|End],L),append(Begin,End,L1).
 
solve([Р,У,О,Г,З,Я,А,С,К,Т]):-
        get([0,1,2,3,4,5,6,7,8,9],Р,L1),
        get(L1,У,L2),
        get(L2,О,L3),
        get(L3,Г,L4),
        get(L4,С,L5),
        get(L5,З,L6),
        РУОГ = 1000*Р+100*У+10*О+Г,СГ = 10*С+Г,ОЗ = 10*О+З,РУОГ/СГ = ОЗ,
        get(L6,Я,L7),
        get(L7,А,L8),
        get(L8,Т,[К]),
        ЯЗЗ = 100*Я+10*З+З,ЯА = 10*Я+А,СТУ = 100*С+10*Т+У,ЯЗЗ+ЯА = СТУ,
        РСУК = 1000*Р+100*С+10*У+К,РТРГ = 1000*Р+100*Т+10*Р+Г,СГС = 100*С+10*Г+С,РСУК-РТРГ = СГС,
        РУОГ-ЯЗЗ = РСУК,
        СГ*ЯА = РТРГ,
        ОЗ+СТУ = СГС.
 
goal
solve([Р,У,О,Г,З,Я,А,С,К,Т]),
write(Р,У,О,Г,"    /      ",С,Г,"    =    ",О,З),nl,
write("-                *             + "),nl,
write(" ",Я,З,З,"    +      ",Я,А,"    =   ",С,Т,У),nl,
write("____       _____       ___"),nl,
write(Р,С,У,К,"   -   ",Р,Т,Р,Г,"   =   ",С,Г,С),nl.