uKanren in C# with a LINQ interface - View it on GitHub