Patent US 5,422,980

A storage area for holding instantiation is provided together with a work area in order to rapidly generate a conflict set. When a condition of a rule is met, the instantiation of the rule is stored in the storage area in a form of data structure. The instantiation having an element whose attribute has been modified in an execution part of the rule is deleted from the conflict set.