At all times, dynamic expression of digital rights during the usage is always the focus in DRM. This paper demonstrated a kind of model in dynamic expression of digital rights based logic reasoning. After defining the relcvent essential elements of this model, it deeply explored and analyzed logic reasoning process of the digital certificate in this model with Prolog. ...