java - 如何在java中获取解决方案X prolog

Question

我使用jpl库来连接prolog和java。在序言中，我可以执行查询:

?- meaning_forms([apple,is,fruit],X). 

输出为:X = [is_a(x1, x2), objectx(x1, 苹果), objectx(x2, 水果)]。

但是在java中，我看不到这个查询的输出。我尝试了一些java代码:

Variable X = new Variable("X");
Query   q4 = new Query("meaning_forms", new Term[]{new Atom("apple,is,fruit"),X});
while ( q4.hasMoreElements() ) {
    java.util.Hashtable solution = (Hashtable) q4.nextElement();
    System.out.println( "X = " + (Term) solution.get("X"));
}

java 中没有输出。这种情况有什么解决办法吗？

Answer 1

Hashtable[] solutions = q4.allSolutions();
for (int i = 0 ; i < solutions.length; ++i) {
    System.out.println("X = " + solutions[i].get(X));
}

另请参阅http://www.swi-prolog.org/packages/jpl/java_api/getting_started.html