【发布时间】:2018-02-14 16:31:32
【问题描述】:
是否有任何其他方式可以在命令行上退出 SICStus 而无需在之后按 ^C 加上 e(我不能总是使用 ^C 进入这个“帮助菜单”)。
“真正的”问题是它是否存在类似:exit 或!quit 的命令,类似于其他命令行解释器。
我在 OSX High Sierra 上使用 SICStus 4.3.5。
【问题讨论】:
标签: prolog prolog-toplevel sicstus-prolog
是否有任何其他方式可以在命令行上退出 SICStus 而无需在之后按 ^C 加上 e(我不能总是使用 ^C 进入这个“帮助菜单”)。
“真正的”问题是它是否存在类似:exit 或!quit 的命令,类似于其他命令行解释器。
我在 OSX High Sierra 上使用 SICStus 4.3.5。
【问题讨论】:
标签: prolog prolog-toplevel sicstus-prolog
用途:
?- halt.
或者只是Ctrl + d。
【讨论】: