The generic setup of SplitDynamicRules causes code for a lookup (aux-L) to be generated for
a rule undefinition L :- t

This doesn’t probably cause any problems because rule tags make sure those alternatives are not used, but there may be problematic situations.

This code is already generated in the case of just a normal dynamic rule, since the extension for dependent dynamic rules creates rule undefinitions internally (even if no dependent rules are used).

Submitted on 16 February 2005 at 09:19

STR-260, visser:
Solved by refactoring of dynamic rule lifting. Lifting undefine rules will generate dummy rules (with fail as body) in case no regular dynamic rules are defined.