M minikanren.org MiniKanren – An embedded DSL for logic programming 85 points michaelsbradley 12 years ago 22 comments