在SWI-prolog中键入listing并按enter键不起任何作用

在SWI-Prolog中，键入"listing"并按Enter键不起任何作用可能是因为没有定义任何谓词或规则。在Prolog中，"listing"是一个内置的谓词，用于显示当前已定义的谓词和规则。

要确保键入"listing"后按Enter键能够显示结果，需要先定义一些谓词或规则。下面是一个示例：

likes(john, pizza).
likes(mary, chocolate).
likes(jane, ice_cream).

listing(likes).

在这个示例中，我们定义了三个谓词likes/2，并将它们添加到知识库中。然后，我们使用"listing(likes)"来显示likes谓词的定义。

对于SWI-Prolog，腾讯云提供了云服务器CVM产品，它是一种基于云计算技术的虚拟服务器，可提供稳定可靠的计算能力。您可以通过以下链接了解更多关于腾讯云服务器CVM的信息：

腾讯云服务器CVM产品介绍：https://cloud.tencent.com/product/cvm

请注意，这只是一个示例，您可以根据具体情况和需求进行进一步的研究和调整。