(set *factorial*  (/. X (if (= X 0) 1 (* X ((value *factorial*) (- X 1))))))
  
((value *factorial*) 9)