Rete: A fast algorithm for the many pattern/many object pattern match problem