ADA - recursion en ada95

¿como utilizar la recursion en ada con funciones y programas de ejemplos con recursion en ada95?

Ejemplo del calculo recursivo de un numero factorial.

Procedure main is
function nfact ( n : positive ) return positive
begin
if n = 1 then
return 1;
else
return n * nfact( n -1);
end if;
end nfact;
Begin
Put( NFACT ( 5 ) );
End Main;