使swi prolog返回谓词名称

Swi Prolog是一种基于逻辑编程的编程语言，它的目标是实现自动推理和逻辑推理。在Swi Prolog中，可以使用一些内置的谓词来返回谓词名称。

在Swi Prolog中，可以使用predicate_property/2谓词来返回谓词的属性。该谓词接受两个参数，第一个参数是要查询的谓词，第二个参数是要查询的属性。

下面是一个例子，展示如何使用predicate_property/2来返回谓词名称：

?- predicate_property(member/2, name(Name)).
Name = member.

在上面的例子中，predicate_property/2查询了member/2谓词的名称，并将结果绑定到变量Name上。结果是Name = member，表示member/2的名称是member。

需要注意的是，Swi Prolog中的谓词名称是以原子的形式表示的，因此可以直接使用该名称进行进一步的操作。

对于Swi Prolog中其他谓词的名称查询，可以按照上述的方式进行类似的操作。

关于Swi Prolog的更多信息和使用方法，可以参考腾讯云提供的Swi Prolog相关产品和文档：

• 腾讯云Swi Prolog产品介绍：Swi Prolog产品介绍
• Swi Prolog官方文档：Swi Prolog官方文档

请注意，以上提供的是腾讯云相关产品和文档，仅供参考。