Methods and apparatus for integration of declarative rule-based processing with procedural programming in a digital data-processing evironment
US8479157B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Dec 29, 2009 |
| Grant date | Jul 2, 2013 |
| Priority date | — |
| Expiry date | Oct 18, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/311
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The present invention provides methods and systems for integrating a procedural computational model with a declarative computational model. For example, in one aspect, the present invention provides a method for integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system. In such a method, for each of the procedural instructions operating on one or more variables, a hash table indexed by variable names is utilized to determine whether any of these variables participate in at least one of the declarative rules. Upon execution of a procedural instruction that changes a variable participating in a declarative rule, other variables associated with the rule are updated so as to maintain a relationship imposed by the rule among the variables. The updating of the other variables is performed prior to execution of other procedural instructions. Further, for each of the updated values, changes associated with to updated variable are propagated to other rules, if any, in which the updated variable participates. The propagation of the change can be accomplished by modifying values of variab…
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.