$ENTRY Go {
    = <Facts 0 10>;
}

Facts {
    s.N s.Max, <Compare s.N s.Max>: '+' = ;
    s.N s.Max = <Prout <Symb s.N>'! = ' <Fact s.N>>
                <Facts <+ s.N 1> s.Max>;
};

Fact {
    0   = 1;
    s.N = <* s.N <Fact <- s.N 1>>>;
};