【发布时间】：2015-04-26 00:05:37
【问题描述】：
我正在尝试将变量 X 与 '*' 统一（包括引号，总共 3 个符号字符串）
我正在做的是一个简单的X='*'.，但这会导致X 的值为*。如果我选择X=''*''.，结果是X=''*''。我很困惑，我怎么才能实现'*'？
【问题讨论】：
-
见this。
标签： prolog unification
【发布时间】：2015-04-26 00:05:37
【问题描述】：
如果你真的想要一个字符串，你应该使用双引号：
X="'*'".
如果你想制作一个符号，你可以使用
atom_codes( X, "'*'" ).
【讨论】：
-
这导致 X 与 [39,42,39] 列表统一，我确实意识到这是字符串的序言表示，但这不是我想要实现的，我想要X 打印为 '*'。它不一定是字符串，我只是不知道我应该使用什么指令
-
谢谢你，
atom_codes(X, "'*'").就像一个魅力，它说我需要使用字符转义\，如X = '\'*\''