1. A method of integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system, the method comprising the steps of: for each of said procedural instructions operating on one or more variables, determining whether any of said variables participate in at least one of said declarative rules by employing a hash table indexed by variable names, and upon execution of a procedural instruction changing a variable participating in a declarative rule, updating other variables associated with said rule so as to maintain a relationship imposed by said rule among said variables, wherein said updating of other variables is performed prior to execution of other procedural instructions.