Понимание модели выполнения Mini-Kanren

Глава 5 SICP объясняет схему мета циклического оценщика стажеров регистровой машины.

Есть ли что-нибудь, что обеспечивает подобный тип Mini-Kanren с точки зрения примитивов схемы?

Я знаю, что по Мини-Канрену написана диссертация (однако меня волнует только построение ментальной модели, а не все кровавые детали оптимизации). Я также знаю, что есть разумный план — впрочем, я не ищу кучу примеров — я просто хочу понять мини-канрен в его самой базовой форме, очень похожей на то, как можно понять схему с помощью понимание: eval, apply, if, set!, env

Спасибо!