Node a = startAt.getSubNode(1, CAST);
Node b = startAt.getSubNode(2, a.getQType());
boolean force_enc = (a.isQuoted() || a.getType() == Node.TYPE_LAZY);
Hash r = new Hash();
/*
* Attention, si l'unification n'est pas valide, retourner une liste vide...
*/
if (!unify_symbol(a, b, r, force_enc)) {
r = new Hash();
}
/*
* Post-traitepment de r.
*/
if (force_enc) {
ArrayList<Node> kn=r.keys_nodes();
for (int i = 0; i < kn.size(); i++)
r.store(kn.get(i), Node.quoteEncoded_encode(r.ref(kn.get(i))));
}
return Node.createHash(r);
}