如何让终端上的 Prolog 注意到添加到 Prolog 源文件的新更改?

How to make Prolog on terminal notice the new changes added to a Prolog source file?

我使用 Swipl -s prolog_file 通过终端打开 SWI-Prolog。但是,每次我将新事实添加到 Prolog 源文件并保存时,我都必须在终端上重新启动 SWI-Prolog 以使其注意到更改。

我认为在 Prolog 源文件上使用 CTRL + s 足以让 SWI-Prolog 注意到更改,但事实并非如此。

在 windows 上有一个带有编译按钮的 Prolog 编辑器,当你编译文件时,SWI-Prolog 会注意到变化,但我使用的是 Kali Linux,所以我在文本编辑器上书写。

如何让 SWI-Prolog 注意到这些变化?

当您收到 ?- 提示时,键入 make.

这是一个built-in in SWI, it can be simulated in SICStus

对于包含大量预处理和模块的复杂项目,此功能可能不起作用。