>>174
いや、そういうことではなくて、
findmin/3の中で開放されるD,Bと最終的に束縛されるD,Bを使い分けてるでしょ。
そんなことが許されてよいものかと。それから最後の
(C='04';C='08',C='09'). はちょっと見たところ必要なさそうに見える。
必要あるのですが、本当に必要かどうか、どうして必要なのかを説明しなくては
ならないところです。