如何使用 re_replace 在 Prolog 中转义符号

Question

我尝试使用 re_replace 来替换字符串中的字符。例如：

?- re_replace("_"/g, "QW", "a_b_c", Str).
Str = "aQWbQWc".

然后我尝试将 _ 替换为 \_。 文档说：

因为\是字符串中的转义字符，所以需要这样写 “\\\\”得到一个反斜杠。

所以我尝试了：

?- re_replace("_"/g, "\\\\_", "a_b_c", Str).
false.

出于某种原因，我得到了false。怎么了？如何从 a_b_c 获取 a\_b\_c？

SWI Prolog 版本：8.2.1。