有没有其他方法可以在命令行上退出 SICStus,而无需按 ^C
加 e
(我不能总是进入这个“帮助菜单”与^C
)。
“真正的”问题是是否存在像 :exit
或 !quit
这样的命令,类似于其他命令行解释器。
我在 OSX High Sierra 上使用 SICStus 4.3.5。
最佳答案
用途:
?- 停止。
或简单地Ctrl + d
。
关于prolog - 退出 SICStus - 命令行,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/48791967/