递归谓词的英文翻译

中文：递归谓词