退出 SICStus - 命令行
Exiting SICStus - Command Line
是否有任何其他方法可以在命令行上退出 SICStus，而不必在之后按 ^C 加 e（我不能总是使用 [=10 到达此 "help menu" =]).
"real" 问题是它是否存在像 :exit 或 !quit 这样的命令，类似于其他命令行解释器。
我在 OSX High Sierra 上使用 SICStus 4.3.5。
使用：
?- halt.
或简单地 Ctrl + d.
是否有任何其他方法可以在命令行上退出 SICStus，而不必在之后按 ^C 加 e（我不能总是使用 [=10 到达此 "help menu" =]).
"real" 问题是它是否存在像 :exit 或 !quit 这样的命令，类似于其他命令行解释器。
我在 OSX High Sierra 上使用 SICStus 4.3.5。
使用：
?- halt.
或简单地 Ctrl + d.