如何使用计数器的递归和截止周期(如for i: = 1 downto N do <operator>)？
for i: = 1 downto N do <operator>
algorithm prolog
algorithm ×1
prolog ×1