'30年後の残高'(_単利か福利か,_元金,_利息,_30年後の残高) :-
  findall(_残高1,残高(_単利か複利か,30,_元金,_利率,_,_,_残高1),_残高ならび),
  last(_残高ならび,_30年後の残高).

残高(_単利か複利か,_期間,_元金,_利率,_年目,_利息,_残高) :-
  length(L,_期間),
  残高(_単利か複利か,L,[_],_元金,_元金,_利率,_年目,_利息,_残高).

残高(単利,[_|R1],L1,_元金,_残高1,_利率,_年目,_利息,_残高) :-
  _利息 は 切り捨て(_元金 * _利率),
  _残高 is _残高1 + _利息,
  length(L1,_年目),
  write_formatted('%t年目 利息=%t 残高=%t\n',[_年目,_利息,_残高]).
残高(複利,[_|R1],L1,_元金,_残高1,_利率,_年目,_利息,_残高) :-
  _利息 は 切り捨て(_残高1 * _利率),
  _残高 is _残高1 + _利息,
  length(L1,_年目),
  write_formatted('%t年目 利息=%t 残高=%t\n',[_年目,_利息,_残高]).
残高(単利,[_|R1],L1,_元金,_残高1,_利率,_年目,_利息,_残高) :-
  _利息1 は 切り捨て(_元金 * _利率),
  _残高2 is _残高1 + _利息1,
  残高(単利,R1,[_|L1],_元金,_残高2,_利率,_年目,_利息,_残高).
残高(複利,[_|R1],L1,_元金,_残高1,_利率,_年目,_利息,_残高) :-
 _利息1 は 切り捨て(_残高1 * _利率),
  _残高2 is _残高1 + _利息1,
  残高(複利,R1,[_|L1],_元金,_残高2,_利率,_年目,_利息,_残高).