序言单引号(')统一
prolog single quote (') unification
我正在尝试用“*”统一变量 X(包括引号,总共 3 个符号的字符串)
我正在做的是一个简单的 X='*'.
,但这导致 X 的值为 *
。如果我选择 X=''*''.
,结果是 X=''*''
。我很困惑,我怎样才能达到 '*'
?
如果你真的想要一个字符串,你应该使用双引号:
X="'*'".
如果你想制作一个符号,你可以使用
atom_codes( X, "'*'" ).
我正在尝试用“*”统一变量 X(包括引号,总共 3 个符号的字符串)
我正在做的是一个简单的 X='*'.
,但这导致 X 的值为 *
。如果我选择 X=''*''.
,结果是 X=''*''
。我很困惑,我怎样才能达到 '*'
?
如果你真的想要一个字符串,你应该使用双引号:
X="'*'".
如果你想制作一个符号,你可以使用
atom_codes( X, "'*'" ).