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