The associated unwind data must describe the action of the prolog and must provide the information necessary to undo the effect of the prolog code.

• 关联的展开数据必须描述Prolog的操作,必须提供撤消Prolog代码的影响所需的信息。