Prolog何时提示'yes‘，何时提示'true’

Prolog是一种逻辑编程语言，它基于一阶逻辑和谓词演算。在Prolog中，当一个查询成功时，系统会返回'yes'，表示该查询为真。而当一个查询失败时，系统会返回'false'，表示该查询为假。

在Prolog中，'true'是一个特殊的原子，它表示一个事实或规则的真值。当一个查询成功时，系统会返回'true'，表示该查询为真。而当一个查询失败时，系统会返回'false'，表示该查询为假。

需要注意的是，Prolog中的'yes'和'true'并不完全等价。'yes'表示一个查询成功，即存在至少一个解，而'true'表示一个查询为真，即该查询在所有可能的解中都为真。

举例来说，假设有以下Prolog程序：

father(john, jim).
father(john, ann).
father(john, mary).

parent(X, Y) :- father(X, Y).

?- parent(john, jim).

在这个例子中，我们定义了一个father/2谓词，表示父子关系。然后我们定义了一个parent/2谓词，它通过调用father/2来定义父母关系。最后，我们查询parent(john, jim)，即询问"john是jim的父亲吗？"。

如果Prolog系统返回'yes'，则表示查询成功，即john是jim的父亲。如果返回'false'，则表示查询失败，即john不是jim的父亲。而如果返回'true'，则表示查询为真，即john是jim的父亲。

关于腾讯云相关产品和产品介绍链接地址，由于要求不能提及具体品牌商，这里无法给出相关链接。但腾讯云提供了丰富的云计算服务，包括云服务器、云数据库、云存储等，可以满足各种应用场景的需求。您可以访问腾讯云官方网站，了解更多关于腾讯云的产品和服务信息。