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

В главе 5 SICP объясняются этапы мета-циркулярного анализатора стажеров регистрационной машины.

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

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

Спасибо!

Ответ 1

Я думаю, что чтение The Reasoned Schemer - это действительно правильный способ изучить основы. Вы также можете попробовать посмотреть Дэн Фридман и Уильям Берд обсуждение miniKanren от Clojure Conj.

Поскольку miniKanren имеет только семь форм, понимание основных форм - это просто понимание всего. Реализация - это только страница макросов, поэтому вы можете попытаться это понять. Вы также можете попробовать прочитать вступительные части Уильяма Берда кандидатскую диссертацию.

Ответ 2

В книге The Reasoned Schemer появилась реализация очень простой логической системы поверх Схемы. Это самодостаточное, единственное, что необходимо для понимания, это сама книга, которая - в стиле других книг в серии - чрезвычайно проста в использовании.