@Override public int execute(Interpreter interpreter, boolean backtrackMode, Term[] args) throws PrologException { RuleTransition transition = getTransition(args[0]); Term result = new JavaObjectTerm(transition.getProof()); return interpreter.unify(args[1], result); }