The rules engine is based on the rete algorithm
Rex: A strongly-typed, pure, implicitly parallel functional programming language