如何让终端上的 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。
对于包含大量预处理和模块的复杂项目,此功能可能不起作用。
我使用 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。
对于包含大量预处理和模块的复杂项目,此功能可能不起作用。