Υǥ쥯ȥκ

λʧ(_,_Ĺ,_ʧ,_ǯΨ,_λ,_,_Ĺ)
  :-
    call(_λ).

λʧ(_,_ܷ,_ʧ,_ǯΨ,_λ,_ʧ,_̤Ը)
  :-
    _ is _ + 1,
    _© is _ܷ * _ǯΨ / 12,
    _ܽԳ is _ʧ - _©,
    _ܻĹ is _ܷ - _ܽԳ,
    λʧ(_,_ܻĹ,_ʧ,_ǯΨ,_λ,_ʧ,_̤Ը).

?- λʧ(1,14000000,223000,0.0345,(X >10,Y > 10000000.0),X,Y).