退出SICStus - 命令行

Question

是否还有其他方法可以在命令行上退出SICStus，而不必在^C加e后按^C我不能再使用:exit这个“帮助菜单” 。

“真正的”问题是它是否存在像!quit或Interval *newInterval(int b, int e, int m){ static Interval i; i.b = b; i.e = e; i.m = m; return &i; } Signal *newSignal(int size){ static Signal s; s.intervals = malloc(size * sizeof(Interval)); s.top = 0; s.size = size; return &s; } Stack *newStack(int size){ static Stack st; st.signals = malloc(size * sizeof(Signal)); st.top = 0; st.size = size; return &st; } 这样的命令，类似于其他命令行解释器。

我在OSX High Sierra上使用SICStus 4.3.5。

Answer 1

使用：

?- halt.

或只是Ctrl + d。