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