递归谓词

（计算机科学技术名词）

递归谓词（recursive predicate）是2018年公布的计算机科学技术名词。若一个谓词所确定的集合为递归集，则称它是一个递归谓词。