Это ж не имеет отношения к проекту Cyc?
https://en.wikipedia.org/wiki/Cyc
https://github.com/asanchez75/opencyc

Я не разбираюсь в теме. Слово undelimited означает, что сохраняется информация об очень широком контексте вычисления. В языке может быть только что-то одно, что контролирует control flow в достаточно большой общности, — несколько разных инструментов не могут быть одновременно достаточно сильными и поэтому по крайней мере один из них не будет соответствовать своему описанию в присутствии другого. В CL управление control flow осуществляется с помощью отдельных примитивов. Тот call/cc, который предоставляет cl-cont, не может использоваться в некоторых коммонлисповских выражениях — так было когда я смотрел в последний раз, и я не разбирался, это принципиальные ограничения или нет.

(cl-cont это delimited continuations)

Нет.

Вообще-то я не выяснял, но Cyc это старая ИИ-программа, которая успешно играла в игры, а тут просто база данных.

Понятно, спасибо.

Лисперы.

Если я заворачиваю read в handler-bind, то у меня откатывается поинтер файла, который я читаю?

В случае рестарта.

Или что вообще происходит.

read читает из потока, не из файла, поэтому вопрос непонятен. Если вдруг задача в том, чтоб правильно закрыть файл при рестарте, то это вообще-то не должно отличаться от просто «правильно закрыть файл»: если был рестарт, то дальше все пойдет в том же теле with-open-file (или чего-то аналогичного), в котором handler-bind написан, а если был abort или еще что-то такое, то, опять же, with-open-file справится с этим обычным образом.

Окей, поинтер потока.

А кто читает из файла, если уж на то пошло?

Алсо по-моему из контекста довольно очевидно, что я открыл файл и читаю read'ом из соответствующего потока.

Так как иначе я вообще не представляю, как бы у меня получалось читать.

Задача в том, чтобы обработать ситуации, которые возникают при чтении формы из файла, и потом заново повторить чтение этой формы.

Например если я пытаюсь читать форму, в которой есть символ из несуществующего пакета, то я создаю пакет и заново хочу прочитать форму.

Если это SBCL, то не надо перечитывать форму. Если я пишу в репле 'wow:nonexistent, то я могу сделать нужное через рестарты без перечитывания.

М.б. это стандарт, а не SBCL, но сейчас не успею посмотреть. :-(

Есть-таки портируемое решение, которое я имел в виду.

Я имел в виду, что /перечитывать/ если само содержание потока-то не поменялось, это явно неправильно: «перечитывать» все-таки значит пойти в потоке назад к началу символа и снова парсить. Если содержание потока не изменилось, то это бессмысленно.

Это работает, но у меня мало опыта, так что не уверен, что логика внутри lambda не переусложненная или не переупрощенная:

(handler-bind ((package-error
                (lambda (c)
                  (cond
                    ((find-restart 'use-value c)
                     (invoke-restart 'use-value
                                     (make-package
                                      (slot-value c 'package))))
                    ((find-restart 'continue c)
                     (invoke-restart 'continue))))))
  (read-from-string "'non-existent-package:non-exported-symbol"))

Здесь continue это для символов, которые были записаны в потоке через одно двоеточие. Second guessing при чтении форм это по-моему очень сомнительная практика, но раз есть портируемое решение, то наверное OK.

(handler-bind ((package-error
                (lambda (c)
                  (cond
                    ((find-restart 'use-value c)
                     (invoke-restart 'use-value
                                     (make-package
                                      (slot-value c 'package))))
                    ((find-restart 'continue c)
                     (invoke-restart 'continue))))))
  (read-from-string "'non-existent-package:non-exported-symbol"))

Замечание: тут символ не экспортируется даже если записан как экспортируемый; это видно в выводе примера.