swi prolog 与c#

最新推荐文章于 2025-03-29 18:34:40 发布

weixin_30242907

最新推荐文章于 2025-03-29 18:34:40 发布

阅读量222

点赞数

CC 4.0 BY-SA版权

文章标签： c#

原文链接：http://www.cnblogs.com/xinghen/p/5412880.html

本文详细介绍了如何将C#与Prolog语言结合使用，包括下载安装SwiProlog库，解决模块加载问题，以及提供一个实际示例代码。通过设置环境变量PATH，成功在C#中调用Prolog实现基本的逻辑查询。

最近，玩了一下prolog语言，感觉还是很有意思。由于我是学c#的，所以就不禁想看看c#如何与prolog进行结合，在网上找了一下，发现有个swi prolog对c#的dll，下载官网：http://www.lesta.de/Prolog/SwiPlCs/Generated/Index.html。记得，请选择最新那个版本SwiPlCs_1.1.60605.0（切身体会，不然你或者会遇到“尝试读取或写入受保护的内存”的错误）。

　　首先，我先下载一个32 位的swi prolog，安装好后，打开vs，新建一个控制台程序，然后按照官方给的例子HelloWorldDemo写了一段代码，编译，运行后，发现出现了一个“找不到该模块”的错误，没办法，没头绪只能上网找资料，结果你懂得，百度的资料简直少的令人发指，只能google了。通过阅读一大堆有用没用的英文文档后，发现了应该要添加一句： Environment.SetEnvironmentVariable("PATH", @"D:\swipl\bin");第二个参数是你所安装的swi prolog的bin目录

代码如下：

       static void Main(string[] args)
        {
            Environment.SetEnvironmentVariable("PATH", @"D:\swipl\bin");
            if (!PlEngine.IsInitialized)
            {
                String[] param = { "-q" };  // suppressing informational and banner messages
                PlEngine.Initialize(param);
                PlQuery.PlCall("assert(father(martin, inka))");
                PlQuery.PlCall("assert(father(uwe, gloria))");
                PlQuery.PlCall("assert(father(uwe, melanie))");
                PlQuery.PlCall("assert(father(uwe, ayala))");
                using (PlQuery q = new PlQuery("father(P, C), atomic_list_concat([P,' is_father_of ',C], L)"))
                {
                    foreach (PlQueryVariables v in q.SolutionVariables)
                        Console.WriteLine(v["L"].ToString());

                    Console.WriteLine("all child's from uwe:");
                    q.Variables["P"].Unify("uwe");
                    foreach (PlQueryVariables v in q.SolutionVariables)
                        Console.WriteLine(v["C"].ToString());
                }
                PlEngine.PlCleanup();
                Console.WriteLine("finshed!");
                Console.ReadKey();
            }
        }

当然，结果还是不行的，为什么呢？原来我在安装swi prolog时并没有装完整，还需要设置一个环境变量，