7980818283848586878889
listHead = new ListTerm( new StructureTerm(sym_commit_label, labelTerm, userTerm), listHead); } } catch (OrmException err) { throw new JavaException(this, 1, err); } if (!a1.unify(listHead, engine.trail)) { return engine.fail(); }
128129130131132133134135136137138
} } } } } catch (IOException err) { throw new JavaException(this, 1, err); } finally { reader.release(); } return engine.fail();