短語(yǔ)詞組短語(yǔ)predicate calculus language 謂詞演算語(yǔ)言;翻譯predicate logic language 謂詞邏輯語(yǔ)言predicate e logic language 謂詞邏輯語(yǔ)言 返回 predicate language