- - - - CENAPAD-MGCO

A seguir: Pesquisa e Inserção Sequencial Acima: Exemplos de Uso Anterior: Divisão com Resto

Recursividade: Fatorial

[
  fac(i:1..limit)::
  *[
   n: integer;
     fac(i-1) ? n -> 
       [
         n = 0 -> fac(i-1) ! 1
       ||
         n > 0 -> fac(i+1) ! n-1;
                  r: integer;
                  fac(i+1) ? r;
                  fac(i-1) ! n*r
   ]   ]
//
  fac(0):: USER
]