短语词组短语predicate calculus language 谓词演算语言;翻译predicate logic language 谓词逻辑语言predicate e logic language 谓词逻辑语言 返回 predicate language