Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
miniKanren
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Logic_programming/Xgh8lj3F">Logic programming</a></li> <li><a href="/facts/Tree_traversal/Dkch34pz">Tree traversal</a></li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://minikanren.org/">Official website</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Will Byrd (August 2009). Relational Programming in miniKanren: Techniques, Applications, and Implementations (PDF) (Ph.D.). Indiana University. <a href="https://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf" target="_blank">https://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Will Byrd, Eric Holk, and Dan Friedman (2012). "miniKanren, live and untagged: Quine generation via relational interpreters (programming pearl)" (PDF). Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming. ACM: 8–29.{{cite journal}}: CS1 maint: multiple names: authors list (link) <a href="/wiki/Daniel_P._Friedman" target="_blank">/wiki/Daniel_P._Friedman</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Dan Friedman; Will Byrd; Oleg Kiselyov (2005). The Reasoned Schemer. MIT Press. ISBN 9780262562140. <a href="9780262562140" target="_blank">9780262562140</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Will Byrd (August 2009). Relational Programming in miniKanren: Techniques, Applications, and Implementations (PDF) (Ph.D.). Indiana University. <a href="https://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf" target="_blank">https://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> </ol>