partial recursive predicate部分: part; section; portion递归: recurrence; recursion谓词: predicate递归谓词: recursive predicate一般递归谓词: general recursive predicate下载手机词典可随时随地查词查翻译