3

我想在 Prolog 中为 AI 建立一个知识库。首先，我想通过用大象、巨型蚂蚁等做一个玩具示例来尝试学习 Prolog 及其用途。

我正在使用：NetBeans 8.0.1、SWI-Prolog 6.6.6 和 Windows 8.1。一切都是 64 位的，并且环境变量设置正确。我还链接到jpl.jar我的 NetBeans 库中的 。

我的 Prolog 知识库如下所示：

bigger(elephant, horse).
bigger(horse, donkey).
bigger(donkey, dog).
bigger(donkey, monkey).
bigger(monkey, ant).
bigger(monkey, dog).
bigger(giant_ant, elephant).

is_bigger(X, Y) :- bigger(X, Y).
is_bigger(X, Y) :- bigger(X, Z), is_bigger(Z, Y).

受此启发。知识库在 SWI-Prolog 中没有任何错误。

但是，当 X 在 Java 中大于 ant 时试图获得多个答案时，我遇到了堆栈溢出错误。

这是我使用 JPL 的 Java 代码的片段。

Query q1 =
    new Query(
        "consult",
        new Term[] {new Atom("pathToFile\\bigger.pl")}
    );

System.out.println( "consult " + (q1.query() ? "succeeded" : "failed"));

Query q2 =
    new Query(
        "bigger",
        new Term[] {new Atom("giant_ant"),new Atom("elephant")}
    );
Boolean resp= q2.query();
System.out.println("bigger(elephant, horse) is " + resp.toString());

Query q3 =
    new Query(
        "is_bigger",
        new Term[] {new Atom("giant_ant"),new Atom("ant")}
    );

System.out.println(
    "is_bigger(giant_ant, ant) is " +
    ( q3.query() ? "provable" : "not provable" )
);

Query q4 = new Query("is_bigger(X, ant)");

java.util.Hashtable solution;

q4.query();

while ( q4.hasMoreSolutions() ){
    solution = q4.nextSolution();
    System.out.println( "X = " + solution.get("X"));
}

Java 代码大部分取自这里。

从我可以从 NetBeans 中的调试器中得到的信息来看，当 Java 试图确定solution.get("X")代码片段末尾的值时，似乎会发生堆栈溢出错误。

这是我的控制台输出的样子：

consult succeeded
bigger(elephant, horse) is true
is_bigger(giant_ant, ant) is provable
Exception in thread "AWT-EventQueue-0" java.lang.StackOverflowError
at jpl.Term.getTerm(Term.java:614)
at jpl.Term.getTerm(Term.java:652)
at jpl.Term.getTerm(Term.java:652)
at jpl.Term.getTerm(Term.java:652)
at jpl.Term.getTerm(Term.java:652)
at jpl.Query.get1(Query.java:334) (and many more like this.)

关于如何解决这个问题的任何想法？如果需要，我很乐意提供更多信息。

4

1 回答 1

0

我再也无法让它在我的机器上运行 JPL，但是通过查看文档，您可能想要使用一个Variable对象并像您一样构建您的查询q3：

Variable X = new Variable("X");
Query   q4 = new Query("is_bigger", new Term[]{X, new Atom("ant")});

while ( q4.hasMoreElements() ) {
 java.util.Hashtable solution = (Hashtable) q4.nextElement();
 System.out.println( "X = " + (Term) solution.get("X"));
}
于 2014-10-06T15:32:47.353 回答