ReteOO
ReteOO is an improved version of the Rete algorithm.Rete supports only boolean, first order logic.