谓词语言的英文翻译

中文:谓词语言

英文翻译:【计】 predicate language