将Microsoft .NET（C＃/ F＃）与SWI-Prolog接口

Question

我有将Prolog连接到C＃的问题。

Visual Studio中给出了这样的以下错误：

“类型 'System.IO.FileNotFoundException' 未处理的异常发生在SwiPlCs.dll”

，我真的不知道如何处理这个。

我觉得从我的代码给了路径传来：

using System; 
using SbsSW.SwiPlCs; 

namespace ptest 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      //Environment.SetEnvironmentVariable(@"C:\Program Files\swipl", @"C:\Program Files\swipl\boot64.prc"); // or boot64.prc 
      var curPath = Environment.GetEnvironmentVariable("C:\\Program Files\\swipl\\bin"); 
      Environment.SetEnvironmentVariable(@"C:\Program Files\swipl\bin", @"C:\Program Files\swipl\boot;C:\Program Files\swipl;" + curPath); 

      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 (var 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 children from uwe:"); 
        q.Variables["P"].Unify("uwe"); 
        foreach (PlQueryVariables v in q.SolutionVariables) 
         Console.WriteLine(v["C"].ToString()); 
       } 
       PlEngine.PlCleanup(); 
       Console.WriteLine("finshed!"); 
      } 
     } 
    } 
} 

请帮助我。非常感谢你。

Answer 1

我认为它是最新版本的SWI_Prolog的问题。尝试在C：/ Program Files（x86）中安装旧版本SWI-Prolog 6.6.1 for Microsoft Windows (32 bit)并使用SwiPlCs_1.1.60301.0.zip。在Visual Studio中添加对SwiPlCs.dll的引用。它将工作IA :)