GitHub repository: sarvex/microKanren-shen
Primary language: Shen
Description: An implementation of microKanren in Shen