Comprensión del modelo de ejecución de Mini-Kanren

Question

El Capítulo 5 del SICP explica el esquema del evaluador meta-circular interno de una máquina de registro.

¿Hay algo que proporcione un tipo similar de Mini-Kanren en términos de primitivas de esquema?

Sé que hay una Tesis escrita en Mini-Kanren (sin embargo, solo me importa construir un modelo mental, no todos los detalles de optimizaciones sangrientas). También sé que existe el intrigante razonamiento, sin embargo, no estoy buscando un montón de ejemplos. Solo quiero entender Mini-Kanner en su forma muy básica, muy similar a cómo se puede entender el esquema por comprensión: eval, apply, if, set !, env

¡Gracias!

Answer 1

Creo que leer El razonamiento Schemer es realmente la manera correcta de aprender los conceptos básicos. También podría intentar ver Dan Friedman y William Byrd's miniKanren talk de Clojure Conj.

Dado que miniKanren solo tiene seven forms en total, entender las formas básicas en realidad es solo entender todo. La implementación solo se trata de a page de macros, por lo que podría intentar comprender eso. También puede intentar leer las partes introductorias de William Byrd's PhD thesis.

Answer 2

En el libro The Reasoned Schemer hay una implementación de un sistema lógico muy simple sobre Scheme. Es autónomo, lo único que se necesita para comprenderlo es el libro en sí, que, al estilo de los otros libros de la serie, es extremadamente fácil de seguir.