如何找出Prolog运算符来自哪个模块？

在Prolog中，可以通过使用built-in谓词current_op/3来找出运算符来自哪个模块。current_op/3谓词的作用是查询当前运算符的优先级和结合性。

具体步骤如下：

1. 首先，使用current_op/3谓词来查询运算符的优先级和结合性。该谓词的第一个参数是运算符的优先级，第二个参数是运算符的结合性，第三个参数是运算符的名称。
2. 如果运算符存在于当前模块中，则current_op/3谓词将返回true，并给出运算符的优先级和结合性。
3. 如果运算符不在当前模块中，则可以使用module/2谓词来切换到包含该运算符的模块。module/2谓词的第一个参数是模块的名称，第二个参数是要查询的谓词。
4. 切换到包含运算符的模块后，再次使用current_op/3谓词来查询运算符的优先级和结合性。

以下是一个示例查询运算符的代码：

?- current_op(Priority, Associativity, Operator).

请注意，这只是一个示例代码，具体的运算符和模块名称需要根据实际情况进行替换。

对于Prolog运算符的详细信息，可以参考腾讯云的Prolog文档：Prolog运算符。