Observe a função "f" abaixo:  proc f:int(a:int, b:int) início ...

Observe a função "f" abaixo:  proc f:int(a:int, b:int) início se a == 0 então retorna a + b         senão retorna f(a-1, b)+a ...