internal PredicateInfo EntryForStoring(PredicateIndicator p) { PredicateInfo entry; if (!db.TryGetValue(p, out entry)) { db[p] = entry = new PredicateInfo(p.Functor, p.Arity, this); } return entry; }