Читайте синтаксис, передавайте контекст и делайте управление явным.

Ответ Числа вычисляются напрямую. Составное выражение требует от evaluate интерпретировать оба вложенных операнда перед объединением их значений. Вычислитель обходит дерево выражения по одному узлу за раз.

Ответ evaluate не связывает постоянное значение с x или y. Процедура получает окружение вместе с выражением, поэтому одно и то же дерево выражения можно использовать повторно с другими связываниями.

Ответ В первом примере альтернатива делит на ноль. Программа все равно возвращает 60, так как истинный предикат выбирает ветвь сложения, а некорректная альтернатива остается данными выражения.

Ответ Полученный plan принимает окружение. Его запуск выполняет только поиск переменных, запуск сохраненных планов операндов и применение уже выбранного оператора. Поэтому один проанализированный plan может обслуживать множество окружений.

Ответ Вычислителю не требуется вторая реализация локального связывания. Его случай let переписывает выражение и отправляет результат обратно через обычные случаи lambda и применения в том же окружении.

Ответ force-it проверяет тег. При первом запросе процедура вызывает сохраненное вычисление, меняет тег на evaluated-thunk, удаляет вычисление и сохраняет значение. Последующие запросы выбирают кэшированный слот и не выполняют вычисление повторно. Это раскрывает изменение представления, которое ленивый вычислитель обычно скрывает за обработкой аргументов.

Ответ Вторая программа делает явными две позиции выбора. scan-y проверяет каждый y для одного x, а scan-x повторяет эту работу для каждого x. Возврат всех пар, сумма квадратов компонентов которых равна 25, раскрывает конечный недетерминированный поиск как обычное управление, создающее списки.

Ответ При последующем появлении выполняется поиск существующего связывания перед любым расширением. Одинаковые данные сохраняют кадр, а конфликтующие данные возвращают failed, что распространяется на все оставшиеся рекурсивные шаги. Это одностороннее сопоставление с переменными в образце, а не полная двунаправленная унификация или поиск по базе данных.

Ответ Вторая программа связывает grand из заголовка правила, затем solve-goals обрабатывает две цели parent по порядку. Первая цель дает промежуточные значения ben и dia. Каждый кадр становится входными данными для второй цели, которая находит cy и eli. Вычислитель урока обрабатывает прямые факты parent и одно упорядоченное тело правила parent, сохраняя каждый промежуточный кадр.

Ответ Вторая программа использует цикл из трех человек. Раскрытие ada достигает ben, ben достигает cy, а cy снова достигает ada. Вычислитель тратит ровно одну единицу работы на каждый извлеченный элемент frontier и возвращает truncated с оставшимся frontier, когда бюджет достигает нуля. Эта модель урока для поиска в ширину охватывает раскрытие parent, явный frontier, повторяющиеся ответы и статус complete или truncated.

Ответ Вторая программа задает для married симметричное операционное правило: если прямой факт отсутствует, поменять аргументы местами и выполнить поиск снова. Это доказывает (married mickey minnie) после одной перестановки, поскольку существует обратный факт. То же самое правило бесконечно чередуется для несвязанной пары, если только вычислитель не обнаружит повторение или не исчерпает видимый бюджет работы. Логическое утверждение может быть симметричным, но направление и управление правила все равно определяют поведение этого исполняемого поиска.

Ответ Вторая программа выполняет обе формы. classify-original использует внутренние определения напрямую. classify-scanned явно записывает преобразованную структуру let и set!. Обе формы возвращают одинаковые результаты проверки четности для 7 и 8, и equal? возвращает true. Конечное сравнение проверяет это преобразование и делает видимой его явную промежуточную структуру.

Ответ Процедура run-program служит драйвером. Она принимает цитированные формы верхнего уровня, одно явное глобальное окружение и бюджет форм. Каждая завершенная форма добавляет одно значение в transcript, при этом определения и присваивания остаются видимыми для последующих форм. Полный запуск определяет square, make-adder, add-five и base, а add-five сохраняет локальное значение x равным 5 даже после изменения глобальной переменной base. Второй запуск останавливается после пяти форм и сообщает, что четыре формы еще ожидают обработки. Этот бюджет форм не ограничивает рекурсию или работу внутри одной формы, а ограничения выполнения более низкого уровня по-прежнему обеспечивает упакованная среда выполнения браузера.

Ответ Форма require вычисляет свой предикат в той же системе продолжений. Истинный предикат завершается успехом со значением ok, а ложный предикат вызывает следующую альтернативу предиката, которая в итоге возвращается к самому последнему выбору amb. Процедура all-values повторно вызывает следующую альтернативу, предоставляемую каждым успехом. Первый запуск исчерпывает выбранный конечный поиск и сообщает complete. Второй запуск намеренно останавливается после четырех решений и сообщает truncated. Учебный вычислитель охватывает упорядоченные варианты amb, форму require, применение процедур и передачу продолжений успеха или неудачи.

Ответ Процедура apply-procedure принимает уже классифицированные значения процедур. Процедура хоста получает список аргументов через apply. Запись compound-procedure предоставляет параметры, выражения тела и окружение своего создания, а применение расширяет это окружение новым кадром и вычисляет последовательность тела. Повторно используемый канонический драйвер выполняет каждую базовую форму в одном постоянном окружении guest и делает наглядным учебный цикл eval/apply.

Ответ Вторая программа помечает процедуру хоста + тегом данных primitive и применяет ее после извлечения реализации. Процедура list-of-values фиксирует вычисление операндов слева направо с помощью явных зондов. Предикат истинности guest возвращает ложь только для #f, поэтому ноль и цитированный символ считаются истиной. Вместе эти записи определяют протокол учебного вычислителя для кадров, процедур, аргументов и проверок истинности.

Ответ Вторая программа рассматривает квадратное выражение как данные и рекурсивно заменяет символ x на 3. Преобразование сохраняет арифметику как символьные данные. Затем arithmetic-eval интерпретирует + и * и дает 16. Учебный вычислитель обрабатывает перечисленные арифметические формы через то же явное представление, общее для генератора и преобразователя.

Ответ Во втором выражении тело использует x дважды. Строгое вычисление выполняет probe один раз и связывает полученное значение 10. Немемоизированный вычислитель нормального порядка форсирует сохраненное выражение при каждом поиске, поэтому probe запускается дважды. Оба возвращают 20, но объем работы различается. Эти два вычислителя представляют собой явные модели guest, и они не меняют порядок вычислений выполняющей их программы хоста Lispex.

Ответ force-it вычисляет свежий thunk один раз, перезаписывает ту же изменяемую запись в evaluated-thunk, сохраняет результат и отбрасывает сохраненные выражение и окружение. Неиспользованный аргумент не выполняет вызов probe. Продублированное выражение x запрашивается дважды, но вызывает probe один раз. Невыбранная ветвь формы if не вычисляется. Этот вычислитель реализует вызов по требованию для перечисленных форм в рамках явного бюджета работы.

Ответ integers-from и lazy-map используют тот же обычный рекурсивный синтаксис. Их рекурсивные вызовы передаются как отложенные операнды y в lazy-cons, поэтому бесконечный остаток представлен мемоизированными thunk вычислителя. take служит границей требования: примитивному cons нужны фактические значения аргументов, поэтому он форсирует ровно запрошенное число голов и хвостов в конечный базовый список. Этот пример объединяет ленивые списки с вычислителем урока и делает требование потребителя явным.

Ответ Программа для пифагоровых троек повторно использует те же продолжения для числовых выборов. Ограничения упорядочения исключают перестановки, а равенство квадратов принимает две тройки в конечном диапазоне от 1 до 10. Оба примера используют конечные списки с поиском в глубину и фиксируют каждый выбор, достигнутый в этом диапазоне.

Ответ qeval распознает and как конвейер. Первый запрос создает возможные связывания who для всех программистов. Второй запрос получает каждый кадр отдельно и сохраняет только тот кадр, где тот же who также руководит под началом bob. Этот урок материализует конечный поток кадров в виде списка, сохраняя протокол конвейера.

Ответ simple-query объединяет прямые совпадения с утверждениями и результаты правил. Результат правила унифицирует шаблон запроса с переименованным заключением, затем передает полученный кадр через qeval в тело правила. and передает кадры по конвейеру, or объединяет альтернативы, а not сохраняет кадр только тогда, когда его подзапрос не дает результата в этом кадре. Явная глубина служит точной конечной границей ресурсов для раскрытия правил.