:- use_module(library(clpr)).
credit(Totale,Temps,_,_,Reste) :-
  {Temps = 0,
   Reste = Totale}.
credit(Totale,Temps,Taux,Montant,Reste) :-
  {Temps >= 1,
   NTotale = Totale + Totale*Taux - Montant, NTemps = Temps - 1},
         credit(NTotale,NTemps,Taux,Montant,Reste).
    
