ORIGIN '~beta/basiclib/betaenv';
BODY 'Faktorialis'
--- lib: Attributes ---

(*
  Sima rekurzio, erdekessege hogy mivel nem tarolodnak a stack-ben 
  az eljaras parameterek, minden rekurziv hivasnal a fuggveny uj 
  peldanyat kell letrehozni - ez latszik az "&" prefixbol a
  fuggvenynev elott. 
*)

Faktorialis : 
(#
   Res : @integer;
   N   : @integer;

   enter N

   do 
      (if ( N > 1 )
         // True then ((N-1) -> &Faktorialis) * N -> Res;
         // False then 1 -> Res
      if)

   exit Res
#); 

--- program: Descriptor --- 

(# 
   do 
      6 -> &Faktorialis -> putint; 
      newline;
#)