將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 :)