miniKanren入門
http://en.wikipedia.org/wiki/MiniKanren
http://mitpress.mit.edu/books/reasoned-schemer
http://kanren.sourceforge.net/
http://minikanren.org/
https://thestrangeloop.com/sessions/relational-programming-in-minikanren
- good exmple
http://objectcommando.com/blog/tag/minikanren/
http://io.livecode.ch/learn/webyrd/webmk