RosettaCodeData/Task/Factorial/Cat/factorial.cat

define rec_fac
      { dup 1 <= [pop 1] [dec rec_fac *] if }