Regarding technical details, it's uses an extended version of the Rete algorithm. While I have access to its source code, I haven't actually looked at the implementation though smile