minikanren

minikanren is an open source programming language created in 2013.

Canonical miniKanren implementation

• minikanren website
• minikanren is developed on GitHub and has 338 stars
• minikanren first developed in https://github.com/miniKanren
• minikanren is written in Scheme & Markdown
• minikanren on Twitter