当尝试从 swi-prolog 获取列表时，SwiPlCs 抛出 'Precondition Failed'

Question

我在尝试从 C# 调用 SWI-Prolog 时遇到问题，它在我的 PlTerm 变量中给了我一条消息 'Precondition failed'。该程序是针对一个学校项目的，我运行没有时间和想法来解决这个问题。它应该会显示从一个机场到另一个机场的所有可用航班。

让我向您展示我的代码，以便您更好地理解我想说的内容：

aeropuerto(a).
aeropuerto(b).
aeropuerto(c).
aeropuerto(d).
aeropuerto(m).

vuelo(1,b,a,1000).
vuelo(2,a,b,900).
vuelo(3,c,a,1200).
vuelo(4,a,c,1400).
vuelo(5,d,c,500).
vuelo(6,b,d,800).
vuelo(7,d,m,600).
vuelo(8,m,d,700).

vDirecto(A,X,Y,B):-vuelo(A,X,Y,B).

vEscalaSimple([T,M],X,Y,Z):-vDirecto(T,X,C,B),vDirecto(M,C,Y,P),suma(B,P,Z),X\=Y.

suma(B,P,Z):-Z is B + P.

reversa(X,A,B):-vuelo(X,B,A,C).

vuelos([A|_],X,Y,B):-vDirecto(A,X,Y,B).
vuelos([A|T],X,Y,B):-vEscalaSimple([A|T],X,Y,B).
vuelos([A|T],X,Y,B):-vDirecto(A,X,Z,D),vEscalaSimple(T,Z,Y,C),suma(D,C,B),reversa(J,X,Z),X\=Y,not(member(A,T)),not(member(J,T)).

misVuelos([A|T],X,Y,B):-vuelos([A|T],X,Y,B).
misVuelos([A|T],X,Y,B):-vDirecto(A,X,Z,D),vuelos(T,Z,Y,C),suma(D,C,B),reversa(J,X,Z),X\=Y,not(member(A,T)),not(member(J,T)),not(length([A|T],3)).

所以这是我在 SWI-Prolog 中的代码。当我调用 "misVuelos(A,B,C,D)" 时，Prolog 将所有可用航班显示为列表。一切正常，但在尝试用 C# 检索答案时出现了问题。

Environment.SetEnvironmentVariable("SWI_HOME_DIR", @"C:\Program Files\swipl");
Environment.SetEnvironmentVariable("Path", @"C:\Program Files\swipl\bin");
            List<string[]> temp = new List<string[]>();
            string[] _params = { "-q", "-f", _path };
            if (!PlEngine.IsInitialized)
            {
                try
                {
                    PlEngine.Initialize(_params);

                    PlTerm t1 = new PlTerm("A"), t2 = new PlTerm("B"), t3 = new PlTerm("C"), t4 = new PlTerm("D");
                    PlTermV termV = new PlTermV(new PlTerm[] { t1, t2, t3, t4 });

                    using (PlQuery q = new PlQuery("misVuelos", termV))
                    {
                        foreach (PlQueryVariables v in q.SolutionVariables)
                        {
                            Console.WriteLine(t1.ToString());
                            /*temp.Add(new string[] {
                                v["A"].ToString(),
                                v["B"].ToString(),
                                v["C"].ToString(),
                                v["D"].ToString()
                            });*/
                        }
                    }
                }
                catch (Exception ex)
                {
                    throw ex;
                }
                finally
                {
                    PlEngine.PlCleanup();
                }
            }
            return temp;

当试图获取变量 t1 的值并将其打印到控制台时，它抛出一个错误提示（再次）'Precondition failed'。其他变量运行良好（t2、t3 和 t4），只是 t1 给我带来了问题。我已经阅读了文档，但没有找到解决方案。

有人愿意解释为什么不起作用以及如何解决这个问题吗？我错过了什么？

Answer 1

4 个月前找到解决方案

NVM，我找到了解决方案。我还是不明白，我稍后会仔细阅读，但现在，它有效！ ^^

来源：

http://www-users.york.ac.uk/~sjh1/courses/L334css/complete/complete2su6.html

序言代码更改：

vuelos([A|[]],X,Y,B):-vDirecto(A,X,Y,B).
vuelos([A|[]],X,Y,B):-vEscalaSimple([A|[]],X,Y,B).
vuelos([A|T],X,Y,B):-vDirecto(A,X,Z,D),vEscalaSimple(T,Z,Y,C),suma(D,C,B),reversa(J,X,Z),X\=Y,not(member(A,T)),not(member(J,T)).

现在我可以毫无问题地将解决方案打印到 C# 控制台。

当尝试从 swi-prolog 获取列表时，SwiPlCs 抛出 'Precondition Failed'

SwiPlCs throws 'Precondition Failed' when trying to get list as result from swi-prolog

c#

ffi

swi-prolog