GitHub repository: miniKanren/miniKanren
Primary language: Scheme
Description: Canonical miniKanren implementation