序言单引号(')统一

prolog single quote (') unification

我正在尝试用“*”统一变量 X(包括引号,总共 3 个符号的字符串) 我正在做的是一个简单的 X='*'.,但这导致 X 的值为 *。如果我选择 X=''*''.,结果是 X=''*''。我很困惑,我怎样才能达到 '*'?

如果你真的想要一个字符串,你应该使用双引号:

X="'*'".

如果你想制作一个符号,你可以使用

atom_codes( X, "'*'" ).