swi prolog 与c#

最近，玩了一下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时并没有装完整，还需要设置一个环境变量，

然后重启你的vs，再运行一遍，很好，这个问题解决了。

补充一下：从官网下载来的SwiPlCs_1.1.60605.0里有两个dll，我是用的SwiPlCs.dll。

以上就是我折腾了一个晚上和一个早上的所得，希望对大家有所帮助。