How can I embed a Prolog-like inference engine into a .NET application?
使用 Prolog 谓词比 C# 对象更自然地表示某些类型的域逻辑。此类域的一个示例是表示家庭关系。
有没有办法将类似 Prolog 的推理引擎嵌入到 .NET 应用程序中？在我的应用程序的其余部分使用推理来驱动我的领域但传统的 OO 会很好。
试试这个：Prolog.NET
希望不会太晚！试试 tuProlog.NET。我在 Java 中使用它并且喜欢它！