Binding and Determinism
Insulates invocation from system state changes
Can bound execution, help avoid infinite loops
- Example: Two rules, each sets up the other
Open Issue: Condition evaluation
- Email: bind everything used in conditions
- No condition re-evaluation between rule firings
- Explicit binding may be better
- Gives implementation more information
- But it’s more “rope”