M minikanren.org Minikanren – An embedded DSL for logic programming 224 points tosh 8 years ago 44 comments