重写/ 2谓词在prolog中做了什么

Question

问题很简单。
rewrite('A', ['X', 'Y', 'Z'])谓词在prolog程序中做了什么？

它的用途是什么？它提供了什么？
请在程序中提供一些示例。