14

BASIC CONSTRUCTS cont.


( if P E1 E2 )       ; if P then E1 else E2


( cond ( P1 E1 )
          ....
        ( Pk Ek )
        ( else Ek+1 )





define ( fact n )
  ( if ( = n 0 )
        1
        ( * n ( fact ( - n 1 ) ) ) ) )