if (!a3.unify(toPrologTerm(value), engine.trail)) {
return engine.fail();
}
return cont;
} catch (ClassNotFoundException e) { // Class.forName
throw new JavaException(this, 1, e);
} catch (NoSuchFieldException e) { // Class.getField(..)
throw new JavaException(this, 2, e);
} catch (SecurityException e) { // Class.getField(..)
throw new JavaException(this, 2, e);
} catch (NullPointerException e) { // Class.getField(..)
throw new JavaException(this, 2, e);
} catch (IllegalAccessException e) { // Field.get(..)
throw new JavaException(this, 2, e);
} catch (IllegalArgumentException e) { // Field.get(..)
throw new JavaException(this, 2, e);
}
}