问题描述
是否有一种可移植的方法来更改 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 (将#修改为@)