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

zyy*_*osh 3 terminal text-editor swi-prolog

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

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

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

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

fal*_*lse 5

当出现?-提示时,输入make.

这是SWI内置的,可以在SICStus中模拟

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