Comprensione del modello di esecuzione di Mini-Kanren

Question

Il capitolo 5 di SICP spiega gli stagisti dei valutatori meta-circolari dello schema di una macchina di registro.

C'è qualcosa che fornisce un tipo simile di Mini-Kanren in termini di primitive Scheme?

So che esiste una tesi scritta su Mini-Kanren (tuttavia, mi interessa solo costruire un modello mentale, non tutti i dettagli di ottimizzazioni cruente). So anche che c'è un intruso ragionato - tuttavia, non sto cercando un sacco di esempi - voglio solo capire Mini-kanen nella sua 'forma molto molto semplice, proprio come si può capire lo schema di Comprensione: eval, apply, if, set !, env

Grazie!

Answer 1

Penso che leggere Lo Schema ragionato sia in realtà il modo giusto per apprendere le nozioni di base. Puoi anche provare a guardare Dan Friedman e William Byrd's miniKanren talk da Clojure Conj.

Poiché miniKanren ha solo seven forms totale, la comprensione delle forme di base è in realtà solo la comprensione dell'intera cosa. L'implementazione è solo di circa a page di macro, quindi potresti provare a capirlo. Puoi anche provare a leggere le parti introduttive di William Byrd's PhD thesis.

Answer 2

Nel libro The Reasoned Schemer c'è l'implementazione di un sistema molto semplice logica sulla parte superiore dello Schema. E 'indipendente, l'unica cosa necessaria per la comprensione è il libro stesso, che - nello stile degli altri libri della serie, è estremamente facile da seguire.