swi-prolog 不能包含外部文件？

Question

假设我有一个文件main.pl，内容如下

/* I tried these one at a time, not all at once... */
[externalFile].
['externalFile'].
['externalFile.pl'].
['./externalFile.pl']./*this was an answer to a similar SO question*/
consult(externalFile).
/*... etc ...*/

现在让我们使用它...

$ swipl -l externalFile.pl
/* 12 second loading delay */
/* everything works perfect! */
$ swipl -l main.pl
/* 0 second loading delay */
/* let's try anything from externalFile... */
ERROR: toplevel: Undefined procedure: [...]
/* main.pl might as well be empty */
?- consult(externalFile).
/* 0 second loading delay */
true.
/* true? oh my bad! Lets try again... */
ERROR: toplevel: Undefined procedure: [...]
?- [externalFile].
/* 12 second loading delay... seems better... */
true.
/* been lied to before... */
/* and yet every thing works perfect now! */

注意：consult(externalFile). 仅在 consult(externalFile). 在 main.pl 中时无效。否则，consult(externalFile). 会在终端会话中成功导入文件。

那么我如何编写源代码而不必将我的整个程序复制并粘贴到终端中（或者只是让我的所有程序源代码的文件大小为 15+ 兆字节的手动包含！）如果终端是唯一可以使用导入命令的地方吗？

---

注意：我还检查了行分隔符编码（dos vs windows）（这是另一个问题的答案）

注意：直接在 main.pl 中定义的独立子句可以正常工作

Answer 1

consult 等操作在 Prolog 中称为指令。 Prolog 指令被 Prolog 识别的方式不同，这取决于您是使用交互环境还是从 Prolog 源文件执行指令。

在交互式环境中，只需在?- 提示符处输入指令：

?- consult('myfile').

当您查阅文件时，Prolog 将文件视为一系列事实和规则的断言。然而，如果 Prolog 看到 :- 操作符，它会将该行视为文件中的指令。因此，从文件中，您必须使用该运算符：

:- consult('myfile').

括号[] 是consult() 的缩写。您正在向 Prolog 提供要查阅的文件列表。以上将相当于：

?- [myfile].

和

:- [myfile].

也有不同的形式是可以接受的。 consult 参数必须是原子。如果你有一个名为myfile.pl的文件，可以查询为：

:- [myfile].
:- ['myfile'].
:- ['myfile.pl'].

同样：

:- consult(myfile).
:- consult('myfile').
:- consult('myfile.pl').

consult(myfile.pl) 或 [myfile.pl] 将导致错误，因为如果没有引号，myfile.pl 将不会被视为单个原子。

列表 ([]) 形式的咨询将接受多个文件：

:- [myfile, anotherfile].

---

解决您的评论：

consult(externalFile). 仅在以下情况下无效 consult(externalFile). 在 main.pl 中。

当您将consult(externalFile). 单独放在您查阅的文件（如main.pl）中的一行时，您是在告诉Prolog您希望断言该术语（在这种情况下为事实）consult(externalFile)，其中包括consult 的仿函数，并且有一个原子参数，externalFile。所以它实际上确实做了一些事情，只是不是你所期望的。