Выход из SICStus — командная строка

Есть ли другой способ выйти из SICStus в командной строке без необходимости нажимать ^C плюс e после (я не всегда могу попасть в это «меню справки» с помощью ^C).

«Настоящий» вопрос заключается в том, существует ли такая команда, как :exit или !quit, аналогичная другим интерпретаторам командной строки.

Я использую SICStus 4.3.5 на OSX High Sierra.


person zediogoviana    schedule 14.02.2018    source источник


Ответы (1)


Использовать:

?- halt.

или просто Ctrl + d.

person mat    schedule 14.02.2018