从Prolog中的事实中打印一个值？

Question

让我说我有这些事实：

champion(Real_Madrid).
second_place(Atl).

如何从Prolog中的查询中打印“Real_Madrid”字符串值，所以我可以说例如：

冠军（东西）。

Real_Madrid

有什么办法吗？

Answer 1

在Prolog中，如果原子以大写字母开头，则它们需要引号，这样它们就不会与变量混淆。

在这里，你可以写：

champion('Real Madrid').
second_place('Atl').

然后是简单的查询：

?- champion(Something).

将打印所需的绑定：

Something = 'Real Madrid'.

如果需要，您可以找到有关Prolog语法here的更多信息。

Answer 2

您需要一个可以为您打印该值的变量。

在Prolog中，变量以大写字母开头。

因此，如果您执行任何查询，例如：

champion(X).或champion(Something).或champion(Winner).等，结果将是相同的，它将是X=Real Madrid或Something=Real Madrid或Winner=Real Madrid等

变量的名称可以是任何名称。即使是“失败者”，结果也是如此。

不要忘记执行查询结尾的句点（.）