A RETE-style discrimination network storing Clauses and indexing them for fast retrieval by unification.