Minikanren – An embedded DSL for logic programming
So this appears to be a language to specify logic systems. This makes it especially odd how unstructured the website appears.<p>If the language is so simple and uses only 3 or 4 operators, why not just start with a short definition of those operators, and maybe a list of short examples? That would go a long way towards explaining to me as a casual visitor why I should care about this.