Go backward to The Factorial Function Go up to Top Go forward to Partial Functions |
fac(three)
-> three equals zero
-> one [] three times fac(three
minus one)
= three times fac(three minus one)
= three times fac(two)
-> three times (two equals zero
-> one
[] two times fac(two minus one))
= three times (two times fac(one))
-> three times (two times (one equals zero
-> one
[] one times fac(one minus one)))
= three times (two times one (times fac(zero)))
-> three times (two times (one times (zero equals zero
-> one
[] zero times fac(zero minus one))))
= three times (two times one (times one))
= six