Schemeの再帰は基本的なトコだけなら理解出来たんだが
Prologはどれだけやっても組めない…。