Java-Prolog：如何将参数传递给arity 2查询？

Question

我是Prolog和Java的初学者。我试图将我的Prolog程序与Java链接。我找到了如何做到这一点here。但我不知道如何将参数传递给prolog查询与arity 2.这是我的prolog程序的一部分：

male(Jack).
male(John).
female(Jill).
couple(Jack,Jill).
parent(Jack,John).
parent(Jill,John).

这来自我的Java：

Query q1 = new Query("female", new Term[] {new Atom("Jill")});
System.out.println("Is Jill female? " + q1.hasSolution());

结果：“吉尔是女性吗？真实”

Query q2 = new Query(new Compound("male", new Term[] {new Variable("X")}));

        int i=0;
        while(q2.hasMoreSolutions()){
            i++;
            System.out.print(i + ") " +q2.nextSolution().get("X"));
        }

结果：“1）杰克2）约翰”

但我不知道如何使用arity 2运行查询

Answer 1

怎么样：

new Query("parent", new Term[] {new Atom("Jill"),new Atom("John")});

new Term[]表示你初始化一个数组，显然你可以用多个原子调用它。

请参阅查询数据库部分下的this documentation。