C# Prolog-CLP（FD）与C语言的集成#

我有一个prolog代码，其中包含有限域上的约束，我想为此制作一些GUI。没什么复杂的，只显示一些文本，点击按钮，点击结果就会显示出来。 我喜欢C#和Visual Studio。 有办法吗？我发现了一些将prolog与C#集成在一起的示例，但主要问题是我的代码带有约束，将prolog代码“连接”/“转换”为C#似乎是最大的问题。

有一个C/C++接口，用于将解释器嵌入应用程序中：

似乎可以从C#使用C库：

---

有一个C#界面：

谢谢，我会研究一下。欢迎使用SO！因为你是新来的，你可能想检查一下。