JPL - Java waiting for a certain solution from a prolog query

97 Views Asked by At

Im struggling to get this done. I have an User Interface in Java that controls a system using JPL, prolog.

Firstly i run a simple query assert(goal( work_1 )). When the process is done it just asserts done( work_1 ). To process the next goal goal( do(work_2 ) I must wait for the fact 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(_))");
}

How can i make this work correctly?

0

There are 0 best solutions below