@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);
}
