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