2

Is there any other way of exiting SICStus on Command Line without having to press ^C plus e after (I can't always get to this "help menu" with ^C).

The "real" question is if it exists a command like :exit or !quit, similar to other command line interpreters.

I am using SICStus 4.3.5 on OSX High Sierra.

Mateusz Piotrowski
  • 8,029
  • 10
  • 53
  • 79
zediogoviana
  • 305
  • 3
  • 14

1 Answers1

3

Use:

?- halt.

or simply Ctrl + d.

mat
  • 40,498
  • 3
  • 51
  • 78