Chang-Ho Kim Eric N. Hanson Moez Chaabouni Yu-Wang Wang ACM SIGMOD Conference 1990 19 2 271 280 Forward-chaining rule systems must test each newly asserted fact against a collection of predicates to find those rules that match the fact. Expert system rule engines use a simple combination of hashing and sequential search for this matching. We int