RosettaCodeData/Task/Factorial/Pure/factorial-2.pure

fact n = loop 1 n with
  loop p n = if n>0 then loop (p*n) (n-1) else p;
end;