fact(F,0) -> F; % The variable F is used as an accumulator