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

问题描述 投票:0回答:1

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

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

[在Windows上有一个带编译按钮的Prolog编辑器,当您编译文件时,SWI-Prolog将注意到更改,但是我使用的是Kali Linux,因此我正在使用文本编辑器进行书写。

如何使SWI-Prolog注意到更改?

terminal prolog text-editor swi-prolog
1个回答
1
投票

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

这是built-in in SWI,可以是simulated in SICStus

© www.soinside.com 2019 - 2024. All rights reserved.