Вы пробовали версию ctrl-c для Mac (я думаю, что это команда-c)?Отправка сигнала прерывания работает для многих систем LISP.SBCL, например, позволит вам выбрать один из нескольких перезапусков.Я не знаю, как Clozure (компилятор, который идет в комплекте с lispbox) справится с этим.