如何使Prolog on terminal注意到添加到Prolog源文件的新更改？

我使用

Swipl-s Prolog\u文件

通过终端打开一个SWI Prolog。然而，每次我向Prolog源文件添加新事实并保存时，我都必须在终端上重新启动SWI Prolog，使其注意到更改

我认为在Prolog源文件上使用

CTRL+s

就足以让SWI-Prolog注意到这些更改，但事实并非如此

在windows上有一个带有编译按钮的Prolog编辑器，当您编译文件时，SWI Prolog会注意到更改，但我使用的是Kali Linux，所以我在文本编辑器上编写

---

如何使SWI Prolog注意到更改？

当您得到

？-

提示时，键入

make.

这是一个，它可以

---

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

当您收到

？-

提示时，键入

make。

另请参见“”。在经历了15年可怜的Java类加载器问题之后，我觉得这很神奇。这也是非常不符合逻辑的，人们会立即怀疑谓词是否在事务中被重新版本化。当有人发布了一个可接受的答案时，礼貌地通过点击答案上下三角形旁边的复选标记来接受答案。ECliPSe和YAP还提供了一个

make/0

谓词。Logtalk提供了一个可移植的

make

工具，可用于大多数Prolog系统。