描述程式计算的一种知识类型或其计算过程。例如在执行递回程式时的展开规则，以计算n阶递回函数为例：
f(x)≡if x＜1 then f(x)＝1 Else f(x)＝x?f(x－1)
则因3＞1，f(3)≡3?f(2)≡3?(2f(1))≡3?2?1≡6
常见的展开规则如：每次只展开最左边的函数、每次同时展开左边所有的函数等。