改变 Prolog 原子转义的便携式方法

问题描述

是否有一种可移植的方法来更改 Prolog 转义。一世 记住以下几点,通常一个原子被转义为 如下,例如使用八进制转义:

/* SWI-Prolog 8.3.23 */

?- X = 'abc\x0001\def'.
X = 'abc\001\def'.

但我想要存档的是如下输出。 如果使用复合 '$STR'/1,转义应该 是 "\uXXXX" 而不是八进制转义和双引号:

?- X = '$STR'('abc\x0001\def').
X = "abc\u0001def".

Prolog 系统是否有一些钩子,比如描绘, 能做到吗?我不期望基于 ISO 的方法 核心标准,已经"\uXXXX" 不是 ISO 核心标准

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)