microsoft/Guan

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.

语言：C# · GitHub 星标：90 · Fork：6

话题：csharp · guan · library · linux · logic-programming · netstandard20 · prolog · windows

在 GitHub 上查看原仓库