GitHub repository: namin/clpset-miniKanren
Primary language: Scheme
Description: CLP(Set) in miniKanren