ackermann ( m n -- u )

Vocabulary

rosetta-code.ackermann

Inputs

m	an object
n	an object

Outputs

u

an object

Definition

USING: combinators kernel math ;

IN: rosetta-code.ackermann

:: ackermann ( m n -- u )
    {
        { [ m 0 = ] [ n 1 + ] }
        { [ n 0 = ] [ m 1 - 1 ackermann ] }
        [ m 1 - m n 1 - ackermann ackermann ]
    } cond ;