SWI Prolog有没有办法要求咨询文件？ 例如，我查阅了两个文件：
consult('load.pl').
consult('main.pl').
现在我需要一个谓词，它给我所有咨询过的文件，因为我想检查它们是否已经加载。目前，我正在建立一个用于咨询文件的gui，如果没有必要，我不希望用户必须添加一个。
答案 0 :(得分：1)
您需要的谓词是内置的source_file/1，记录为together with consult/1。您还可以在同一页面上查看source_file/2。
请注意，根据您在代码中使用的库，您将获得许多未直接参考的文件列表。
无论如何，如果您只想加载，如果还没有加载，您还应该查看同一页面上记录的ensure_loaded/1。