GitHub repository: sarvex/ukanren
Primary language: Haskell
Description: Playing around with microKanren (in Haskell)