从模块中，查阅另一个模块中的文件

Question

出于某种原因，在我的Prolog模块中，我希望能够查阅文件，但是如果它是从其他模块（例如用户）咨询的话。

假设我有一个名为myfile.pl的文件，其中包含：

foo(1).

通常情况下，如果在模块 mymodule 中执行consult(myfile)，我所拥有的是新谓词mymodule:foo/1。

我希望能够从模块 mymodule 查阅该文件，但结果谓词应该是user:foo/1。

这可能吗？

Answer 1

您是否尝试过 mymodule 模块中的consult(user:myfile)？