Efficient parallel implementation of RETE pattern matching