By using the checksum of the normalized dynamic rule (i.e., after renaming variables in a standard fashion), the modularity of closure dynamic rule lifting improves. It should then be possible to define dynamic rules in separately compiled libraries (except for the redefinition problem of course). Also persistifying dynamic rule closures might be more likely to happen using checksums.

The effort of implementing this is trivial once the checksum strategy is in the baseline.

Submitted on 25 July 2005 at 16:10