原始递归谓词

（计算机科学技术）

原始递归谓词（primitive recursive predicate），计算机科学技术名词，如果一个谓词所确定的集合是原始递归的，则称它是原始递归谓词。