gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-05 02:08:46 24 4
gpt4 key购买 nike

我使用 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 , 它可以是 simulated in SICStus .

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

关于terminal - 如何让终端上的 Prolog 注意到添加到 Prolog 源文件的新更改?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/60592220/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com