Evoluzione
fact(3,1,0) _ fact(3,1*1,1)
fact(3,1,1) _ fact(3,1*2,2)
fact(3,2,2)
_ fact(3,2*3,3)
fact(3,6,3) _ 6