Yap Prolog - 列表

Question

我在 Prolog 中有这个 List 的例子：

list_where([Tequila,Whisky,Vodka],bathroom).
list_where([Martini,Musat],kitchen).
list_where([Malibu,Soho],under_the_bed).
list_where([Epita],everywhere).

现在，我查阅 yap 中的文件（我在 Ubuntu 15.10 上使用 YAP），然后启动此查询：

list_where(X,bathroom).

我有这个结果：

X = [_A,_B,_C] instead of X=[Tequila,Whisky,Vodka]

我该如何解决这个问题？

Answer 1

Prolog 中以大写字母开头的标识符是变量，而不是原子。所以

[Tequila, Whisky, Vodka]

是变量列表。因此，当您查询 list_where(X, bathroom) 时，您将返回一个未实例化变量的列表，YAP Prolog 将其显示为 [_A,_B,_C]。

如果你想要大写的原子，请使用单引号：

['Tequila', 'Whisky', 'Vodka']

或者，使用小写：

[tequila, whisky, vodka]