>

partial recursive predicate

📖 中文释义

  1. [计] 部分递归谓词