The referenced 1995 thesis by Doorenbos looks very interesting; I wasn't aware of it; the original work on Rete is by Forgy, mostly from the seventies.<p>I wonder what the author of the referenced project is doing with the algorithm; after all, rule-based expert systems seem to have fallen out of time.