これがそんなにキモイか？

　define (fac x)
　 if (= x 0) 1
　　* x
　　 fac (- x 1)

じゃあこうしよう

　define (fac x)
　{
　　if (= x 0)
　　{
　　　1 (* x)
　　}
　　{
　　　fac (- x 1)
　　}
　}