В главе 5 SICP поясняется схема метакругового оценщика регистровой машины.
Есть ли что-нибудь, что обеспечивает аналогичный тип Mini-Kanren с точки зрения примитивов схемы?
Я знаю, что по Mini-Kanren написана диссертация (однако меня волнует только построение ментальной модели, а не все кровавые детали оптимизации). Я также знаю, что есть разумный план — впрочем, я не ищу кучу примеров — я просто хочу понять мини-канрен в его самой базовой форме, очень похожей на то, как можно понять схему с помощью понимание: eval, применить, если, установить!, env
Спасибо!