ISSUE-65 (FINAL): What halting test should PRD cover? [PRD ]

ISSUE-65 (FINAL): What halting test should PRD cover? [PRD ]

http://www.w3.org/2005/rules/wg/track/issues/

Raised by: Christian de Sainte Marie
On product: PRD 

Due to the action part in the rules, and the Retract in particular, the semantics of production rule systems that PRD covers does not guarantee that the execution of an arbitrary ruleset halts by starvation (that is, by the absence of further rule instances to fire). OMG PRR does not specify any halting test, only mentioning in the description of the semantics that the cycle "is repeated until some state is met".
- Should starvation be the only halting test covered by PRD (in which case the question of halting is pushed to ISSUE-63: PICK) or should other halting test be covered as well?
- If not only starvation: what halting test should be covered? What combination?
- How should the intended halting test be notified to a RIF consumer?