GitHub repository: microsoft/Guan
Primary language: C#
Description: Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.