Translates security policy into a prioritized logic program,and then computes its semantics.是什么意思_Translates security policy into a prioritized logic program,and then computes its semantics.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句