2012-04-12 13 views
13

Kapitel 5 von SICP erklärt das Schema Meta-Rundschreiben Evaluator Praktikanten einer Registermaschine.Verständnis von Mini-Kanrens Ausführungsmodell

Gibt es irgendetwas, das eine ähnliche Art von Mini-Kanren in Bezug auf Schema-Primitive bietet?

Ich weiß, dass es eine Thesis geschrieben auf Mini-Kanren gibt (aber ich kümmere mich nur darum, ein mentales Modell zu bauen; nicht alle Details der blutigen Optimierung). Ich weiß auch, dass es den vernünftigen Schreiber gibt - aber ich suche nicht nach einer Reihe von Beispielen - ich möchte Mini-kanren nur in seiner sehr, sehr grundlegenden Form verstehen, ähnlich wie man Schema durch verstehen kann Verständnis: Eval, gelten, wenn, gesetzt !, env

Vielen Dank!

+0

[hier ist] (http://stackoverflow.com/a/10848902/849891) eine 18-Zeilen-Haskell-Implementierung von The Reasoned Schemer (ohne Vereinheitlichung und logische Variablen). –

Antwort

11

Ich denke, Lesen Die Reasoned Schemer ist eigentlich der richtige Weg, um die Grundlagen zu lernen. Sie könnten auch versuchen, Dan Friedman und William Byrds miniKanren talk von Clojure Conj zu beobachten.

Da miniKanren nur seven forms insgesamt ist, verstehen die grundlegenden Formen wirklich nur das Ganze zu verstehen. Die Implementierung ist nur über a page von Makros, also könnten Sie versuchen, das zu verstehen. Sie könnten auch versuchen, die einleitenden Teile von William Byrd PhD thesis zu lesen.

+0

Der Link zum Gespräch ist leider nicht erreichbar. –

+0

Scheint so. Links zu anderen MiniKanren-Vorträgen finden Sie hier: http://minikanren.org/ –

+0

Versuchen Sie stattdessen diesen Link: http://www.youtube.com/watch?v=5Q9x16uIsKA – qerub

3

In dem Buch The Reasoned Schemer gibt es eine Implementierung eines sehr einfachen Logiksystems auf Scheme. Es ist in sich abgeschlossen, das einzige, was man braucht, um es zu verstehen, ist das Buch selbst, das - im Stil der anderen Bücher der Serie - sehr einfach zu befolgen ist.