java - JPL - Java 等待来自序言查询的某个解决方案

Question

我正在努力完成这项工作。我有一个 Java 用户界面，可以控制使用 JPL 的系统，序言。

首先我运行一个简单的查询assert(goal( work_1 ))。当该过程完成时，它只是断言done( work_1 ). 为了处理下一个目标goal( do(work_2 )，我必须等待事实 done( work_1 )。

for (String s : t) {

    runQuery("assert(goal(" + s + "))"); //start process

    //
    // Here the User Interface should block until done(A) and A == s
    //

    while (!active) {
        Map<String, Term>[] Q = Query.allSolutions("done(Goal)");
        for (Map<String, Term> sol : Q) {
            String str = "" + sol.get("Goal");
            if (str.equals(s)) {
                active = false;
        }
    }

    runQuery("retract(done(_))");
}

我怎样才能使它正常工作？