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

Question

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

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

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

Спасибо!

Answer 1

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

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

Answer 2

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