>>510
Haskell99か元はprolog向けなんだな。

こういうのはだいたい、１の時を考える。
N-1が成り立つとしてNを考える。
あとは、再帰で書けばいいんだよ。