.net - 使用 .NET 进行 Prolog

Question

我需要用 prolog 实现一些逻辑，并从基于 CLR 的应用程序（主要是 Windows 中的 C# 和 Mono 以及 Windows 中的 Scala）调用它，以利用一些 Prolog 功能。问题是，我找不到维护的“Prolog.NET”编译器......

那么你有任何仍然维护的 Prolog 编译器吗？或者，根据经验，您认为上述其中之一是否足够稳定且足够安全，即使没有支持也可以使用它们？

score 4 · Accepted Answer

这个 C# Prolog 看起来正在开发中（最新版本标记为 2013 年 6 月）。不管它好不好（或比其他更好），我不知道。

此外，Amzi Prolog具有 .Net 的绑定：

这是一个将 SWI-Prolog 集成到 .Net 世界的 CLR 绑定：

score 0 · Accepted Answer

还没有答案，所以我可以建议一个“中途”解决方案：将一些托管 C++ 作为共享 DLL 附加到您的项目中，公开 .Net 属性/方法，并通过C++ 接口与 Prolog 端交互- 方便且强大（异常、类型验证、环境分配控制等）。

2 回答 2