first-order subroutine 📖 中文释义 [计] 一级子程序 ← first-order recursive program F 字母词表 first-order temporal logic →