[数]?谓词语言
... loop predicate 循环预测 predicate language 谓词语言 evaluable predicate [计] 可估价谓词...
谓词逻辑语言
谓词演算语言
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。