问询SICStus命令行无需^C+e的替代退出方式及专属命令
关于SICStus 4.3.5命令行退出的替代方案
嘿,我在SICStus上折腾过挺久,完全懂你那种有时候按^C调不出中断菜单的烦躁!给你几个更稳定的退出方式,不用依赖那个偶尔抽风的菜单:
- 直接用
halt/0谓词:在SICStus的提示符里输入halt.(别忘了结尾的点,这是Prolog的语法要求),敲回车就会直接退出解释器,完全不需要碰中断键。这是最靠谱的原生退出方式。 - 带退出码的
halt/1:如果需要指定退出状态(比如脚本里用),可以用halt(0).表示正常退出,halt(1).表示异常退出,命令行里也能用。
另外说下为什么有时候^C没反应:OSX的终端信号处理偶尔会和SICStus的捕获逻辑冲突,尤其是当你刚执行完某个耗时的谓词或者终端处于特殊状态时,这时候halt.就成了救星,比依赖中断菜单稳定多了。
对了,SICStus里确实没有像:exit或者!quit这种其他解释器常见的命令,但halt.就是它的官方退出命令,用习惯了其实比中断菜单顺手多啦。
内容的提问来源于stack exchange,提问作者zediogoviana
相关产品推荐
相关产品推荐

