短语词组短語predicate calculus language 謂詞縯算語言;繙譯predicate logic language 謂詞邏輯語言predicate e logic language 謂詞邏輯語言 返回 predicate language