RedAlert: Determinacy inference for Prolog
Jael Kriener, Andy King · Theory and Practice of Logic Programming · 2011
Abstract This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handlecut. To this end a new semantics is introduced forcut, which is abstracted to systematically derive a backward analysis that derives conditions sufficient for a goal to succeed at most once. The method is conceptionally simpler and easier to implement than the existing techniques, while improving the latter's handling ofcut. Formal arguments substantiate correctness and experimental work, and a tool called ‘RedAlert’ demonstrates the method's generality and applicability.