GitHub repository: sarvex/csharp-ukanren
Primary language: C#
Description: A port of microKanren (Ruby) to CSharp