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

Prolog代码更改：

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'

1 个答案: