first-order subroutine英式朗读美式朗读基本解释[计] 一级子程序上一个单词:first-order recursive program下一个单词:first-order temporal logic