2. The method of claim 1 , further comprising characterizing said declarative rules by a dependency network according to said hash table.
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: 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, within said procedural computational system, of a procedural instruction changing a variable participating in a declarative rule, detecting said changing variable and notifying said declarative computational system using a change tracking system that is in communicative coupling with said procedural computational system and said declarative computational system, and updating, within said declarative computational system, other variables associated with said rule so as to maintain a relationship imposed by said rule among said variables, wherein said notifying said declarative computational system and said updating of other variables is performed prior to execution, within said procedural computational system, of other procedural instructions, and wherein said updating of said other variables includes identifying, within said declarative computational system, one or more other declarative rules in which said other variables participate, and propagating, within said declarative computational system, said updating of said other variables to said one or more other declarative rules so as to maintain relationships imposed by said one or more other declarative rules among said variables.