Prolog 返回一个列表而不是几个可能的字符串

Question

answer("Yes").
answer("No").
answer("Variable = value").
receive(A) :- answer(A).


2 ?- answer(A).

A = [89, 101, 115]

Yes

我想要 A = "Yes" 等。我做错了什么？

Answer 1

您将获得字符串 Yes、No 和 Variable = value 的列表表示形式。

如果你想用 Yes、No 和 Variable = value 来实例化 A，你应该将它们括在单引号而不是双引号之间：

answer('Yes').
answer('No').
answer('Variable = value').

如果你想返回包含双引号的术语，你应该包含它们，但也将每个括起来带单引号的术语：

answer('"Yes"').
answer('"No"').
answer('"Variable = value"').

Answer 2

你没有做错什么。 [89, 101, 115] 与 "Yes" 相同：

2 ?- [89, 101, 115] = "Yes".
true.

编辑：您可以使用 此模块 来完成您想要的操作。

Answer 3

这里没有什么问题，你只是看到了字符串的内部表示。
如果您想要更具可读性的输出，请尝试以下之一：（

其中一些可能仅适用于 SWI-Prolog，但您已将其标记为 SWI，所以我认为这没有问题）

使用 name/2从数字列表转换为原子：

?- name(X, "hallo").
X=hallo

?- answer(X), name(Y, X).
X = [89, 101, 115],
Y = 'Yes' ;

使用 format/2 进行输出。

format('~s',["hallo"]).
hallo
true.

?- answer(X), format('answer is "~s"',[X]).
answer is "Yes"
X = [89, 101, 115] ;
answer is "No"
X = [78, 111].

或者，如果您不想使用真正的字符串（代码点列表），请使用单引号：

answer('yes').
answer('no').
answer('Variable = value').

?-answer(X).
yes;
…