Improving Termination Analysis of Active Rules with Priorities
Alain Couchot · 2001
This paper presents an algorithm for termination static analysis ofactive rules with priorities. Active rules termination is an undecidableproblem. Several recent works have suggested proving termination by usingthe concept of triggering graph. We propose here a refinement of theseworks, exploiting the priorities defined between rules.